Integrated formal methods : Lecture notes in computer science : Proceedings - Grieskamp, W. (et-al)(Eds.) (Springer: Tokyo, 2000)
Keywords: formal methods