Title: Formal methods
First published: 2007
Subjects: Congresses, Reliability, Verification, Computer programs, Computer software, Software engineering, Formal methods (Computer science)
LC classification: QA76.9.F67 I594 2006