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 Style (17. basım) AtıfWorkshop on Formal Methods in Software Practice Clearwater Beach, Fla., ACM Sigsoft, ve 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 (8th ed.) AtıfWorkshop 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.