Title: FMICS '05
First published: 2005
Subjects: Formal methods (Computer science), Congresses
LC classification: QA76.9.F67 I594 2005