Abstract State Machines, Alloy, B and Z
by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Writing a summary for young readers…
For young readers
Book data: Open Library
by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Book data: Open Library