Title: A programming approach to formal methods
First published: 1994
Subjects: Formal methods (Computer science), Computer programming
LC classification: QA76.6 .C383 1994