Title: SEFM 2007
First published: 2007
Subjects: Congresses, Formal methods (Computer science), Software engineering
LC classification: QA76.758 .I3223 2007