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

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

Research output: Contribution to journalArticle

Published
Original languageEnglish
Pages (from-to)392-402
JournalWorkshops in Computing
Publication statusPublished - 1993

ID: 1177061