Formal methods for industrial critical systems : a survey of applications /
Gnesi, Stefania,1954-
Margaria-Steffen, Tiziana,1964-
[Washington, D.C.] : IEEE Computer Society ; Hoboken, N.J. : Wiley,
c2013.
Includes bibliographical references and index.
Formal methods (Computer science)