ITU

Verifying design patterns in Hoare Type Theory

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

View graph of relations

In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory.
Original languageEnglish
Place of PublicationCopenhagen
PublisherIT-Universitetet i København
VolumeTR-2008-112
Number of pages12
ISBN (Print)978-87-7949-1886-1
Publication statusPublished - 2008
SeriesIT University Technical Report Series
NumberTR-2008-112

ID: 276080