Fred B. Schneider

Putting time into proof outlines

We couldn't estimate the reading time for this book.

Author

Fred B. Schneider

Contributions

Bloom, Bard. - Contributor
Marzullo, Keith. - Contributor
United States. National Aeronautics and Space Administration. - Contributor

Publication

1991 - Dept. of Computer Science, Ithaca, NY, New York (State)

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

Microform

Identifiers

Open LibraryOL15374113M

Subjects

Topics

Verification Computer programs Real-time programming Computer programs -- Verification

Series Statement

NASA contractor report -- NASA CR-189500.

Other Editions

Putting time into proof outlinesMicroformDept. of Computer Science1991-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!