| Originalsprog | Engelsk |
|---|
| Antal sider | 15 |
|---|---|
| ISBN (Elektronisk) | 978-87-7949-304-9 |
| Status | Udgivet - maj 2013 |
| Navn | ITU Technical Report Series |
|---|---|
| Nummer | TR-2013-167 |
Kopitiam – a unified IDE for developing formally verified Java programs
Jesper Bengtson, Hannes Mehnert
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning