Formal methods in software and systems modelingby Hartmut EhrigComputer systemsFormal methods (Computer science)DesignComputer softwareWriting a summary for young readers…For young readersBook data: Open Library