Keyword: specification
Papers
| authors | title | volume | pages | |
|---|---|---|---|---|
| Michael Franssen | Cocktail II | WING 2010. Workshop on Invariant Generation 2010 | 92-93 |  |
| authors | title | volume | pages | |
|---|---|---|---|---|
| Michael Franssen | Cocktail II | WING 2010. Workshop on Invariant Generation 2010 | 92-93 | |