Fme '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings (Lecture Notes in Computer Science, 670)
denmark International Symposium of Formal Methods Europe 1993 Odense