Title: Moving formal methods into practice
Subjects: Verification, Computer programs