| Original language | English |
|---|
| Number of pages | 15 |
|---|---|
| ISBN (Electronic) | 978-87-7949-304-9 |
| Publication status | Published - May 2013 |
| Series | ITU Technical Report Series |
|---|---|
| Number | TR-2013-167 |
Kopitiam – a unified IDE for developing formally verified Java programs
Jesper Bengtson, Hannes Mehnert
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research