ACL2 Theorem Prover and its Applications
| Availability: | not accessible |
|---|---|
| Homepage(s): | |
| Fulltext available since: | (2006) |
| Fulltext available until: | (2009) |
| Publisher: | Association for Computing Machinery (ACM) |
| ZDB-ID: | 2740601-5 |
| Subject(s): | |
| Tag(s): | Konferenzschrift |
| Appearance: | Fulltext, online and print |
| Costs: | subject to fee |
| List of participate institutions which offer full access. |
