Title: Formal engineering for industrial software development
Subjects: Computer software, Development, Formal methods (Computer science), Object-oriented programming (Computer science), Computer software, development, System design, Industries, Computer programs