FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I

Jeannette M. Wing Jim Woodcock Jim Davies FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I World Congress on Formal Methods Lecture Notes in Computer Science 1708 Springer 1999 3-540-66587-0 db/conf/fm/fm1999-1.html