A Formal Model for the SCJ Level 2 Paradigm

Matthew Luckcuck

Research output: Contribution to conferenceAbstractpeer-review

Original languageEnglish
Pages45-48
Number of pages4
Publication statusPublished - 2015
Event20th International Symposium on Formal Methods - Oslo, Norway
Duration: 22 Jun 201524 Jun 2015

Conference

Conference20th International Symposium on Formal Methods
Country/TerritoryNorway
CityOslo
Period22/06/1524/06/15

Cite this