FM 2016 : Formal Methods
by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
Computer software, developmentSystem design
Writing a summary for young readers…
For young readers
Book data: Open Library
by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
Book data: Open Library