Title: FMSE '04
First published: 2004
Subjects: Congresses, Formal methods (Computer science), Computer security