Title: Provably correct systems
First published: 1995
Subjects: Compilers (Computer programs), Software engineering, Programming languages (Electronic computers)
LC classification: QA76.758 .H45 1995