Conference item
The ideal of verified software
Actions
Access Document
- Publisher copy:
- 10.1145/1217975.1217988
Authors
- Publisher:
- ACM
- Host title:
- Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications‚ ACL2 2006‚ Seattle‚ Washington‚ USA‚ August 15−16‚ 2006
- Publication date:
- 2006-01-01
- DOI:
- UUID:
-
uuid:11624209-de52-4001-ac93-5f50068effab
- Local pid:
-
cs:8360
- Deposit date:
-
2015-03-31
- ARK identifier:
Terms of use
- Copyright date:
- 2006
If you are the owner of this record, you can report an update to it here: Report update to this record