FME '94: industrial benefit of formal methods
Subtitle: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28 1994 : proceedings
By: Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.).
Contributors: Naftalin, Maurice.; Denvir, Tim.; Bertran, Miquel.
Series: Lecture notes in computer science -- 873
Publisher: Springer
Published: 1994
Place of publication: Berli; London
Language: eng
Number of pages: 723