FM 2014 : Formal Methods
by Cliff Jones, Pekka Pihlajasaari, Jun Sun
Computer software, developmentSystem designSoftware engineeringComputer scienceLogic designInformation SystemsMathematical Logic and Formal LanguagesLogics and Meanings of Programs
Writing a summary for young readers…
For young readers
Book data: Open Library