Modern formal methods and applications - Gabbar, Hossam A. (Dordrecht : Springer, 2006)
Includes bibliographical references and index.
Keywords: Formal methods (Computer science); Formal methods (Computer science) -- Industrial applications