The Quest for Correct Systems: Model Checking of Diagrams and Datatypes.

Jan Philipps, Oscar Slotosch

Browse the full APSEC paper archive.