Kopitiam – a unified IDE for developing formally verified Java programs

Jesper Bengtson, Hannes Mehnert

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandlingRapportForskning

OriginalsprogEngelsk
UdgivelsesstedCopenhagen
ForlagIT-Universitetet i København
UdgaveTR-2013-167
Antal sider15
ISBN (Elektronisk)978-87-7949-304-9
StatusUdgivet - maj 2013
NavnIT University Technical Report Series
NummerTR-2013-167
ISSN1600-6100

Citationsformater