ITU

Kopitiam – a unified IDE for developing formally verified Java programs

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

View graph of relations

Original languageEnglish
Number of pages15
ISBN (Electronic)978-87-7949-304-9
Publication statusPublished - May 2013
SeriesITU Technical Report Series
NumberTR-2013-167

Downloads

No data available

ID: 39465158