Title: Proceedings
First published: 1999
Subjects: Formal methods (Computer science), Congresses
LC classification: QA76.9.F67 W66 1998