Industrial stength formal methods : proceedings - Woodcock J C P; International Symposium on Formal Methods Europe( 1st : 1993 : Denmark ); International Symposium on Formal Methods Europe 1st , Denmark 1993 (Berlin Springer Verlag, 1993)
Keywords: Computer science; Formal methods