History
1
au:Mccoyd, M*
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Toward the verification of a simple hypervisor (English)
ACL2, 28-45 (2011).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!