Original language | English |
---|---|
Journal | ERCIM News |
Issue number | 81 |
Pages (from-to) | 52-53 |
ISSN | 0926-4981 |
Publication status | Published - Apr 2010 |
Formal Modelling and Analysis of Predictable Java
Thomas Bøgholm, Rene Rydhof Hansen, Anders Peter Ravn, Hans Søndergaard, Bent Thomsen
Research output: Contribution to journal › Journal article › Research › peer-review