| タイトル | Lfm2000: Fifth NASA Langley Formal Methods Workshop |
| 本文（外部サイト） | http://hdl.handle.net/2060/20000055716 |
| 著者（英） | Holloway, C. Michael |
| 著者所属（英） | NASA Langley Research Center |
| 発行日 | 2000-06-01 |
| 言語 | eng |
| 内容記述 | 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 <http://shemesh.larc.nasa.gov/lfm2000/> for complete information about the event. |
| NASA分類 | Computer Programming and Software |
| レポートNO | NASA/CP-2000-210100
L-17985
NAS 1.55:210100 |
| 権利 | No Copyright |
