Kopitiam – a unified IDE for developing formally verified Java programs

Jesper Bengtson, Hannes Mehnert

Research output: Book / Anthology / ReportReportResearch

Original languageEnglish
Place of PublicationCopenhagen
PublisherIT-Universitetet i København
EditionTR-2013-167
Number of pages15
ISBN (Electronic)978-87-7949-304-9
Publication statusPublished - May 2013
SeriesIT University Technical Report Series
NumberTR-2013-167
ISSN1600-6100

Cite this