Modern Formal Methods and Applications - Gabbar, Hossam A.; SpringerLink (Online service) (Dordrecht : Springer, 2006)
Keywords: Formal methods (Computer science); Formal methods (Computer science) -- Industrial applications