Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled.
By: Manna, Zohar.
Contributor(s): Peled, Doron A | SpringerLink (Online service).
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
No physical items for this record
There are no comments for this item.