Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Bensalem, Saddek (VERIMAG Grenoble France) Ganesh, Vijay (Stanford Univ. Stanford, CA United States) Lakhnech, Yassine (VERIMAG Grenoble France) Munoz, Cesar (Institute for Computer Applications in Science and Engineering Hampton, VA United States) Owre, Sam (SRI International Corp. Menlo Park, CA United States) Ruess, Harald (SRI International Corp. Menlo Park, CA United States) Rushby, John (SRI International Corp. Menlo Park, CA United States) Rusu, Vlad (Institut de Recherche en Informatique et Systemes Aleatoires Rennes, France) Saiedi, Hassen (SRI International Corp. Menlo Park, CA United States) Shankar, N. (SRI International Corp. Menlo Park, CA United States) Date Acquired
August 19, 2013
Publication Date
June 1, 2000
Publication Information
Publication: Lfm2000: Fifth NASA Langley Formal Methods Workshop
Subject Category
Computer Programming And Software Funding Number(s)
CONTRACT_GRANT: NSF CCR-95-09931
CONTRACT_GRANT: NAS1-20334
CONTRACT_GRANT: F30602-96-C-0204
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.