Michael Franssen
Papers
| authors | title | volume | pages | |
|---|---|---|---|---|
| Michael Franssen | Cocktail II | WING 2010. Workshop on Invariant Generation 2010 | 92-93 |  |
Keywords
| # | keywords |
|---|---|
| 1 | program derivation, specification, theorem proving |
| authors | title | volume | pages | |
|---|---|---|---|---|
| Michael Franssen | Cocktail II | WING 2010. Workshop on Invariant Generation 2010 | 92-93 | |
| # | keywords |
|---|---|
| 1 | program derivation, specification, theorem proving |