Title: FMSE '05
First published: 2005
Subjects: Congresses, Formal methods (Computer science), Computer security
LC classification: QA76.9.A25 A34425 2005, QA76.9.A225 A343 2005