FME '97, industrial applications and strengthened foundations of formal methods

Name: FME '97, industrial applications and strengthened foundations of formal methods
Author: International Symposium of Formal Methods Europe (4th 1997 Graz, Austria), C. B. Jones, Peter Lucas

by International Symposium of Formal Methods Europe (4th 1997 Graz, Austria), C. B. Jones, Peter Lucas · 1997

Cover of FME '97, industrial applications and strengthened foundations of formal methods

No description available.

MethodologyCongressesSystem designMathematical theory of computationProgramming - Software DevelopmentSoftware EngineeringSystems EngineeringComputersComputers - Languages / ProgrammingScience/Mathematics