Login / Signup
7. Arbeitstagung Programmiersprachen (ATPS 2014).
Volker Stolz
Baltasar Trancón y Widemann
Published in:
Software Engineering (2014)
Keyphrases
</>
automated theorem provers
knowledge base