Title: Second International Conference on Formal Engineering Methods
First published: 1998
Subjects: Congresses, Development, Engineering, Methodology, Computer software
LC classification: TA5 .I415 1998