By the same authors

The DeCCo Project Papers V: Compiler Correctness Proofs

Research output: Book/ReportOther report

Author(s)

Department/unit(s)

Publication details

DatePublished - 1 Jun 2003
PublisherDepartment of Computer Science, University of York
Original languageUndefined/Unknown

Publication series

NameComputer Science Technical Report series
PublisherDepartment of Computer Science, University of York
VolumeYCS-2003-362

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations