Title: Formal methods in software and systems modeling
Subjects: Computer systems, Formal methods (Computer science), Design, Computer software