An automated proof of the correctness of a compiling specification

Research output: Contribution to journalArticlepeer-review

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

Cite this