Options
Title
Industrial benefit of formal methods
Title Supplement
Barcelona, Spain, October 24 - 28, 1994; proceedings / FME '94, Second International Symposium of Formal Methods Europe
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1994
Series
Lecture Notes in Computer Science; 873
ISBN
3-540-58555-9
0-387-58555-9