Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA

Mark A. Ardis Joanne M. Atlee Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA FMSP ACM 1998 0-89791-954-8 db/conf/fmsp/fmsp1998.html