Model-Based Testing of Reactive Systems
by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Computer software, testing
Writing a summary for young readers…
For young readers
Book data: Open Library
by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Book data: Open Library