Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications

Gespeichert in:
Bibliographische Detailangaben
ParalleltitelACL2 '06
1. Verfasser:in Manolios, Panagiotis (Verfasser:in)
InstitutionAssociation for Computing Machinery
Ort, Verlag, Jahr New York, NY : ACM , 2006
Umfang1 online resource (145 pages)
ISBN0978849302
SpracheEnglisch
Online-Zuganghttps://dl.acm.org/citation.cfm?id=1217975
ACM Digital Library - Complete Collection (ZDB-15-ACM)
Persistente URLhttps://katalogplus.ub.uni-bielefeld.de/title/HT020176837

Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte Angebote von außerhalb des Campus.