Electronic Notes in Theoretical Computer Science, Volume 111

Volume 111, January 2005

Proceedings of the Workshop on Model Based Testing (MBT 2004)