WiCcA : LTS Generation Tool for Wire Calculus.

Jennifer Lantair Pawel Sobocinski

Published in: CALCO (2011)

Keyphrases

software tools
artificial intelligence
databases
information systems
user friendly
analysis tool
provably correct