@book{385cc9f0ec8a11dd8987000ea68e967b,
title = "Verifying design patterns in Hoare Type Theory",
abstract = "In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory.",
author = "Kasper Svendsen and Alexandre Buisse and Lars Birkedal",
year = "2008",
language = "English",
isbn = "978-87-7949-1886-1",
volume = "TR-2008-112",
series = "IT University Technical Report Series",
number = "TR-2008-112",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
}