Workshop on Formal Methods in Software Practice Clearwater Beach, Fla., ACM Sigsoft, & Ardis, M. A. (1998). Proceedings of FMSP'98: The second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. Association for Computing Machinery.
Chicago-viite (17. p.)Workshop on Formal Methods in Software Practice Clearwater Beach, Fla., ACM Sigsoft, ja Mark A. Ardis. Proceedings of FMSP'98: The Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. New York: Association for Computing Machinery, 1998.
MLA-viite (8. p.)Workshop on Formal Methods in Software Practice Clearwater Beach, Fla., et al. Proceedings of FMSP'98: The Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. Association for Computing Machinery, 1998.