Kopitiam – a unified IDE for developing formally verified Java programs

Research output: Book / Anthology / Report › Report › Research

Original language	English

Place of Publication	Copenhagen
Publisher	IT-Universitetet i København
Edition	TR-2013-167
Number of pages	15
ISBN (Electronic)	978-87-7949-304-9
Publication status	Published - May 2013

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

Access to Document

@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",

}