Game-Based Safety Checking with Mage

Adam Bakewell, Dan Ghica

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages85-87
Number of pages3
Publication statusPublished - 1 Sep 2007
Event6th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007) -
Duration: 1 Sep 2007 → …

Conference

Conference6th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007)
Period1/09/07 → …

Cite this