Willem Visser
Willem Visser has been associated with 25 events and is frequently seen with Corina S. Pasareanu, Klaus Havelund and John Penix. Willem's main research interests are model checking, testing and model.
Are you Willem Visser? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)
If you happen to know who this is, you can send Willem an invitation:
The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.
tracker for Willem Visser
December 16, 2008
Workshop on parallel and distributed systems: Testing, analysis, and debugging (PADTAD 2009) was added.
- People: Willem Visser
October 1, 2008
16th fm symposium and 2nd world congress theory meets practice (FM 2009) was added.
- People: Willem Visser
July 4, 2008
23rd IEEE/ACM international conference on automated software engineering (ASE 2008) was updated.
- People: Willem Visser
July 4, 2008
23rd IEEE/ACM international conference on automated software engineering (ASE 2008) was updated.
- People: Willem Visser
March 3, 2008
Brazilian symposium on formal methodsbrazilian symposium on formal methods (SBMF 2008) was added.
- People: Willem Visser
January 23, 2008
23rd IEEE/ACM international conference on automated software engineering (ASE 2008) was added.
- People: Willem Visser
January 10, 2008
6th workshop on parallel and distributed systems: Testing, analysis, and debugging (PADTAD 2008) was added.
- People: Willem Visser
October 26, 2007
4th international workshop on predictor models in software engineering (PROMISE 2008) was added.
- People: Willem Visser
June 5, 2007
14th international spin workshop on model checking of software (SPIN 2007) was updated.
- People: Willem Visser
May 18, 2007
4th international workshop on software quality assurance (SOQUA 2007) was updated.
- People: Willem Visser