Title: Modular compiler verification
First published: 1997
Subjects: Compilers (Computer programs), Verification, Computer software, Computer software, verification
LC classification: QA76.76.C65 M85 1997