A Formal Model for the SCJ Level 2 Paradigm

Research output: Contribution to conference › Abstract › peer-review

Original language	English
Pages	45-48
Number of pages	4
Publication status	Published - 2015
Event	20th International Symposium on Formal Methods - Oslo, Norway Duration: 22 Jun 2015 → 24 Jun 2015

Conference	20th International Symposium on Formal Methods
Country/Territory	Norway
City	Oslo
Period	22/06/15 → 24/06/15

Other files and links