Axel Rennoch

{PDF} Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova (auth.), Wolfgang Grieskamp, Carsten Weise (eds.)