Title: Formal methods and software engineering
Subtitle: 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings
First published: 2008
Subjects: Congresses, Formal methods (Computer science), Software engineering, Computer science
LC classification: QA76.9.F67 I5788 2008