Kopitiam – a unified IDE for developing formally verified Java programs
- ,
- Hannes Mehnert
Research Output:
Book / Anthology / Report
Report
Open access
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Original language
EnglishPublication milestones
- Published - 05/2013
Publication status
Published - 05/2013
Place of publication
CopenhagenEdition
TR-2013-167Publisher
IT-Universitetet i København, DenmarkBook series
- Book series name: IT University Technical Report Series
Series number: TR-2013-167
ISSN: 1600-6100
ISBN (Electronic)
978-87-7949-304-9Access to documents
Submitted manuscript, 744.01 KB