Formal Modelling and Analysis of Predictable Java
Publication: Research - peer-review › Journal article
| Original language | English |
|---|---|
| Journal | E R C I M News |
| Publication date | Apr 2010 |
| Journal number | 81 |
| Pages | 52-53 |
| ISSN | 0926-4981 |
| State | Published |
ID: 37806117