Formal Methods: State of the Art and New Directions

• Main Author: Boca, Paul
• Corporate Author: SpringerLink (Online service)
• Other Authors: Bowen, Jonathan P., Siddiqi, Jawed
• Format: Electronic Kit Book
• Language: English
• Published: London Springer-Verlag London 2010
• Subjects: Computer science; Software engineering; Computer Science; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters