Login / Signup
6. Arbeitstagung Programmiersprachen (ATPS 2013).
Jens Knoop
Janis Voigtländer
Published in:
Software Engineering (2013)
Keyphrases
</>
automated theorem provers