Formal Approaches to Software Testing and Runtime Verification
by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Computer software
Writing a summary for young readers…
For young readers
Book data: Open Library
by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Book data: Open Library