By the same authors

The DeCCo Project Papers V: Compiler Correctness Proofs

Research output: Book/ReportOther report

Standard

The DeCCo Project Papers V : Compiler Correctness Proofs. / Stepney, Susan.

Department of Computer Science, University of York, 2003. (Computer Science Technical Report series; Vol. YCS-2003-362).

Research output: Book/ReportOther report

Harvard

Stepney, S 2003, The DeCCo Project Papers V: Compiler Correctness Proofs. Computer Science Technical Report series, vol. YCS-2003-362, Department of Computer Science, University of York. <http://www-users.cs.york.ac.uk/~susan/bib/ss/decco/362.pdf>

APA

Stepney, S. (2003). The DeCCo Project Papers V: Compiler Correctness Proofs. (Computer Science Technical Report series; Vol. YCS-2003-362). Department of Computer Science, University of York. http://www-users.cs.york.ac.uk/~susan/bib/ss/decco/362.pdf

Vancouver

Stepney S. The DeCCo Project Papers V: Compiler Correctness Proofs. Department of Computer Science, University of York, 2003. (Computer Science Technical Report series).

Author

Stepney, Susan. / The DeCCo Project Papers V : Compiler Correctness Proofs. Department of Computer Science, University of York, 2003. (Computer Science Technical Report series).

Bibtex - Download

@book{a25848ba296b4036b15bab96a2fd9bc0,
title = "The DeCCo Project Papers V: Compiler Correctness Proofs",
author = "Susan Stepney",
year = "2003",
month = jun,
day = "1",
language = "Undefined/Unknown",
series = "Computer Science Technical Report series",
publisher = "Department of Computer Science, University of York",

}

RIS (suitable for import to EndNote) - Download

TY - BOOK

T1 - The DeCCo Project Papers V

T2 - Compiler Correctness Proofs

AU - Stepney, Susan

PY - 2003/6/1

Y1 - 2003/6/1

M3 - Other report

T3 - Computer Science Technical Report series

BT - The DeCCo Project Papers V

PB - Department of Computer Science, University of York

ER -