Login / Signup
An Interaction Concept for Program Verification Systems with Explicit Proof Object.
Bernhard Beckert
Sarah Grebing
Mattias Ulbrich
Published in:
Haifa Verification Conference (2017)
Keyphrases
</>
computer systems
computer vision
human computer interaction
expert systems
management system
object oriented
distributed systems
learning systems
keypoints
object model
multiple objects