The modal logic of programs

Bibliographic Details
Main Author: Manna, Zohar (Author)
Other Involved Persons: Pnueli, Amir
Format: Book
Language:English
Published: Stanford, Calif. : Computer Science Dep., Univ. 1979
Series:Stanford University. Report 751
Stanford University. Memo 330
Physical Description:36 S
Subjects:
QR Code: Show QR Code