Research Catalog

Putting time into proof outlines

Title
Putting time into proof outlines [microform] / Fred B. Schneider, Bard Bloom, Keith Marzullo.
Author
Schneider, Fred B.
Publication
Ithaca, NY : Dept. of Computer Science, Cornell University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]

Details

Additional Authors
  • Bloom, Bard.
  • Marzullo, Keith.
  • United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
NASA contractor report ; NASA CR-192978
Subject
  • Computer programs > Verification
  • Real-time programming
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 93-1029-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:192978
OCLC
marcive29492145
Author
Schneider, Fred B.
Title
Putting time into proof outlines [microform] / Fred B. Schneider, Bard Bloom, Keith Marzullo.
Imprint
Ithaca, NY : Dept. of Computer Science, Cornell University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
Series
NASA contractor report ; NASA CR-192978
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1993] 1 microfiche.
Added Author
Bloom, Bard.
Marzullo, Keith.
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:192978
Research Call Number
READEX Microfiche NAS 1.26:192978
View in Legacy Catalog