Login / Signup
An Interactive Proof Tool for Process Algebras.
Huimin Lin
Published in:
STACS (1992)
Keyphrases
</>
user friendly
computer vision
data structure
process model
databases
real world
website
user interaction
theorem proving