1.
Proceedings of VVSS2005 - verification and validation of software systems : 24th November 2005, Eindhoven, The Netherlands
