Conference Calendar: Conference ProVeCS
|
|
ProVeCS 2007
Property Verification for Software Components and Services 24 Jun 2007 - 28 Jun 2007 (Zürich, CH) | papers: 20 Apr 2007 | notification: 18 May 2007 | |
|
|
|
ProVeCS 2007
Property Verification for Software Components and Services 24 Jun 2007 - 28 Jun 2007 (Zürich, CH) | papers: 20 Apr 2007 | notification: 18 May 2007 | |