Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Model-Based Testing of Reactive Systems
- 2005
978-3-540-32037-1
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science