Title: Integrated formal methods
First published: 2005
Subjects: Formal methods (Computer science), Congresses, Computer science