Cita APA (7a ed.)

Ardis, M. (1998). FMSP 98: Formal Methods in Software Practice, Co-Located with ISSTA. Association for Computing Machinery.

Cita Chicago Style (17a ed.)

Ardis, Mark. FMSP 98: Formal Methods in Software Practice, Co-Located with ISSTA. [Place of publication not identified]: Association for Computing Machinery, 1998.

Cita MLA (9a ed.)

Ardis, Mark. FMSP 98: Formal Methods in Software Practice, Co-Located with ISSTA. Association for Computing Machinery, 1998.