An automated proof of the correctness of a compiling specification. / Scott, Elizabeth.

In: Workshops in Computing, 1993, p. 392-402.

Research output: Contribution to journalArticlepeer-review

Published

Standard

An automated proof of the correctness of a compiling specification. / Scott, Elizabeth.

In: Workshops in Computing, 1993, p. 392-402.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Author

BibTeX

@article{ec22d18845bd4d19b46e35ead61872ad,
title = "An automated proof of the correctness of a compiling specification",
author = "Elizabeth Scott",
year = "1993",
language = "English",
pages = "392--402",
journal = "Workshops in Computing",

}

RIS

TY - JOUR

T1 - An automated proof of the correctness of a compiling specification

AU - Scott, Elizabeth

PY - 1993

Y1 - 1993

M3 - Article

SP - 392

EP - 402

JO - Workshops in Computing

JF - Workshops in Computing

ER -