A prover for the mucrl toolset with ap-plications - version 0.1. Report SEN-R0106 (0)

by J C van de Pol
Venue:Definition of MR andCRL Version 2.1. Deliverable 46 /SPE/WP5/DS/A/017/b1.SPECS RACE Project no. 1046. Available through GSI Tecsi