Proceedings of the Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014

Autor:	Verbeek, F., Schmaltz, J.
Přispěvatelé:	Schmaltz, J.
Rok vydání:	2014
Předmět:	Electronic Proceedings in Theoretical Computer Science Digital Security
Zdroj:	Electronic Proceedings in Theoretical Computer Science ; 152. [S.l.] : Electronic Proceedings in Theoretical Computer Science Electronic Proceedings in Theoretical Computer Science ; 152
Popis:	Item does not contain fulltext 177 p.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0da48b3d3958a57861d223c205e1db73 http://hdl.handle.net/2066/135070 Zobrazit plný text záznamu