Kopitiam – a unified IDE for developing formally verified Java programs

Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Originalsprog	Engelsk

Udgivelsessted	Copenhagen
Forlag	IT-Universitetet i København
Udgave	TR-2013-167
Antal sider	15
ISBN (Elektronisk)	978-87-7949-304-9
Status	Udgivet - maj 2013

Navn	IT University Technical Report Series
Nummer	TR-2013-167
ISSN	1600-6100

Adgang til dokumentet

@book{0ea1dd0ea2914510b5e74214d4acdd9c,

title = "Kopitiam – a unified IDE for developing formally verified Java programs",

author = "Jesper Bengtson and Hannes Mehnert",

year = "2013",

month = may,

language = "English",

series = "IT University Technical Report Series",

number = "TR-2013-167",

publisher = "IT-Universitetet i K{\o}benhavn",

address = "Denmark",

edition = "TR-2013-167",

}