Author

Alexander Pretschner

1 book found

Cover of Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner · First published 2005