Industrial benefit of formal methods : proceedings - Naftalin Maurice; International Symposium on Formal Methods Europe( 2nd : 1994 : Bercelona ); International Symposium on Formal Methods Europe 2nd Bercelona, 1994 (Berlin Springer Verlag, 1994)
Keywords: Computer science; Formal methods