Aarhus University Seal / Aarhus Universitets segl

Verifying design patterns in Hoare type theory

Research output: Working paper/Preprint Working paperpeer-review

Standard

Verifying design patterns in Hoare type theory. / Svendsen, Kasper; Buisse, Alexandre; Birkedal, Lars.

IT University of Copenhagen, 2008.

Research output: Working paper/Preprint Working paperpeer-review

Harvard

Svendsen, K, Buisse, A & Birkedal, L 2008 'Verifying design patterns in Hoare type theory' IT University of Copenhagen.

APA

Svendsen, K., Buisse, A., & Birkedal, L. (2008). Verifying design patterns in Hoare type theory. IT University of Copenhagen. I T University. Technical Report Series No. TR-2008-112

CBE

Svendsen K, Buisse A, Birkedal L. 2008. Verifying design patterns in Hoare type theory. IT University of Copenhagen.

MLA

Svendsen, Kasper, Alexandre Buisse, and Lars Birkedal Verifying design patterns in Hoare type theory. IT University of Copenhagen. (I T University. Technical Report Series; Journal number TR-2008-112). 2008., 12 p.

Vancouver

Svendsen K, Buisse A, Birkedal L. Verifying design patterns in Hoare type theory. IT University of Copenhagen. 2008.

Author

Svendsen, Kasper ; Buisse, Alexandre ; Birkedal, Lars. / Verifying design patterns in Hoare type theory. IT University of Copenhagen, 2008. (I T University. Technical Report Series; No. TR-2008-112).

Bibtex

@techreport{1536be77976146f3a8ea91a69251cc8f,
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",
series = "I T University. Technical Report Series",
number = "TR-2008-112",
publisher = "IT University of Copenhagen",
type = "WorkingPaper",
institution = "IT University of Copenhagen",

}

RIS

TY - UNPB

T1 - Verifying design patterns in Hoare type theory

AU - Svendsen, Kasper

AU - Buisse, Alexandre

AU - Birkedal, Lars

PY - 2008

Y1 - 2008

N2 - In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory

AB - In this technical report we document our experiments formally verifying three design patterns in Hoare Type Theory

M3 - Working paper

T3 - I T University. Technical Report Series

BT - Verifying design patterns in Hoare type theory

PB - IT University of Copenhagen

ER -