Login / Signup
Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015).
Clemens Grelck
Baltasar Trancón y Widemann
Published in:
Software Engineering (Workshops) (2015)
Keyphrases
</>
automated theorem provers
expert systems
artificial intelligence
model checking