Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

Bibliografiske detaljer
Andre forfattere: Rabe
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Association for Computing Machinery (ACM), 8/3/09
Fag:
Online adgang:Full text available on Research4Life (ACM)

Lignende værker