Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)
| Main Authors: | , , |
|---|---|
| Format: | Report |
| Published: |
Department of Computing Science‚ University of Glasgow
2000
|
| Main Authors: | , , |
|---|---|
| Format: | Report |
| Published: |
Department of Computing Science‚ University of Glasgow
2000
|