Alexander Pretschner

No bio available. Add one in Open Library.

Books by Alexander Pretschner (50 max)

+ shelf+ list

Model-Based Testing of Reactive Systems Advanced Lectures

2005

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner