Specification and verification of object oriented software components
by Andreas Roth
ProgrammverifikationKomponente <Software>KorrektheitFormale SpezifikationstechnikObjektorientierte Programmiersprache
Writing a summary for young readers…
For young readers
Book data: Open Library