Options
Title
FME '96. Industrial benefit and advances in formal methods
Title Supplement
Third International Symposium of Formal Methods Europe, Oxford, UK, March 18 - 22, 1996 ; proceedings
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1996
Series
Lecture Notes in Computer Science; 1051
ISBN
3-540-60973-3