Title: Industrial Use of Formal Methods
Subjects: Computer software, development, Computers