![](/img/cover-not-exists.png)
[ACM Press the sixth international workshop - Seattle, Washington (2006.08.15-2006.08.16)] Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 - ACL2 in DrScheme
Vaillancourt, Dale, Page, Rex, Felleisen, MatthiasYear:
2006
Language:
english
DOI:
10.1145/1217975.1217999
File:
PDF, 485 KB
english, 2006