Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: ACM Digital Library | ACM Other conferencesVerlag: New York, NY : ACM, 2009Beschreibung: Online-Ressource (1 online resource (144 pages))ISBN:- 9781605587424
- ACL2 '09
Dieser Titel hat keine Exemplare
Association for Computing Machinery-Digital Library