Mathematical proofs of computer system correctness
Author(s)
Bibliographic Information
Mathematical proofs of computer system correctness
(Report (Center for the Study of Language and Information (U.S.)), no. CSLI-89-136)
Center for the Study of Language and Information, 1989
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
"August 1989"