Title: Formal methods for industrial critical systems
First published: 2008
Subjects: Congresses, Formal methods (Computer science), Verification, Software engineering, Computer programs, System design
LC classification: QA76.9.F67 I594 2007