1.
Proceedings of VVSS2005 - verification and validation of software systems : 24th November 2005, Eindhoven, The Netherlands
2.
Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands