Login / Signup

5. Arbeitstagung Programmiersprachen (ATPS 2012).

Frank Huch Janis Voigtländer

Published in: Software Engineering (2012)

Keyphrases

automated theorem provers