Title: Constructing correct software
First published: 1998
Subjects: Development, Computer software, Softwareentwicklung, Programmverifikation, Programm, Korrektheit
LC classification: QA76.76.D47 C665 1998