NASA NTRS · 20000055716
Lfm2000: Fifth NASA Langley Formal Methods Workshop
Abstract
This is the proceedings of Lfm2000: Fifth NASA Langley Formal Methods Workshop. The workshop was held June 13-15, 2000, in Williamsburg, Virginia. See the web site for complete information about the event.
Keep this discovery
Explore connections, maps & timelines
Holloway, C. Michael. 2000-06-01. Lfm2000: Fifth NASA Langley Formal Methods Workshop. https://ntrs.nasa.gov/citations/20000055716
Cite the original work for its findings. Save a collection to share your selection of sources.