Formal foundations for software engineering methods : Lecture notes in computer science:Proceedings - Hubmann, H. (Springer: Tokyo, 1997)
Keywords: software engineering