Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
by Panagiotis Manolios
Matthew Wilding
|
ISBN: 978-0-9788493-0-6
Publisher: Ruben Gamboa
Copyright:
© 2006 ACL2 Steering Committee Standard Copyright License
Language: English
Country: United States
|
Download:
1 documents, 4087 KB
Printed: 148 pages, 8.5" x 11", perfect binding, black and white interior ink Description:These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia. Keywords:Listed in: |
Share This
Report this item
View Back CoverStats:
Lulu Sales Rank: 24,189
This item has not yet been rated. Be the first to rate it!
Have your own story to tell?
We've got publishing services to get you started.[Click the preview to close]
![[]](http://static.lulu.com/images/persuasion/footer/line.gif?20090625163709)
