MAGE, the Lazy Symbolic Game-Based Safety Checker

Adam Bakewell

Research output: Contribution to conference (unpublished)Poster

Original languageEnglish
Publication statusPublished - 1 Aug 2007
Event14th International Static Analysis Symposium (SAS 2007) -
Duration: 1 Aug 2007 → …

Conference

Conference14th International Static Analysis Symposium (SAS 2007)
Period1/08/07 → …

Cite this