Title: Compiler specification and verification
First published: 1981
Subjects: Compiling (Electronic computers), Verification, Computer programs, Compilation (Ordinateurs), Compilers (Computer programs), Logiciels, Programmierung, Compilers, Verifikation, Compiler
LC classification: QA76.6