[(Fme '94 Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings)] [Edited by Maurice Naftalin ] published on (October, 1994)

Description

[(Fme '94 Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings)] [Edited by Maurice Naftalin ] published on (October, 1994)