FME 2001 Formal Methods for increasing software productivity :Lecture notes in computer science:Proceedings - Oliveira, J.N. : Zave, Pam(Eds) (Springer: Tokyo, 2001)
Keywords: formal methods