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