gabriele-costa/pests

Partial evaluation of symbolic transition systems

JavaMIT