Title: Industrial-strength formal methods in practice
Subjects: Formal methods (Computer science), Information technology