Sciweavers

ATVA
2007
Springer

Model Checking Contracts - A Case Study

14 years 5 months ago
Model Checking Contracts - A Case Study
Gordon J. Pace, Cristian Prisacariu, Gerardo Schne
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where ATVA
Authors Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider
Comments (0)