Title: Formal methods in software and systems modeling
Subjects: Computer systems, Formal methods (Computer science), Design, Computer software, Design and construction, Logic, symbolic and mathematical, Software engineering, Computers