Lfm2000 :
fifth NASA Langley Formal Methods Workshop /
C. Michael Holloway, compiler.
APA Citation
NASA Formal Methods Workshop (5th : 2000 : Williamsburg, V., Holloway, C. Michael., Langley Research Center. (2000). Lfm2000: fifth NASA Langley Formal Methods Workshop. Hampton, Va.: National Aeronautics and Space Administration, Langley Research Center.
MLA Citation
NASA Formal Methods Workshop (5th : 2000 : Williamsburg, Virginia), C. Michael Holloway, and Langley Research Center. Lfm2000: Fifth NASA Langley Formal Methods Workshop. Hampton, Va.: National Aeronautics and Space Administration, Langley Research Center, 2000.
Warning: These citations may not always be complete (especially for serials).