|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A comparison of tools for teaching formal software verification |
Feinerer, Ingo |
2008 |
21 | 3 |
p. 293-301 |
artikel |
|
| 2 | Editorial |
Boca, Paul |
2009 |
21 | 3 |
p. 225 |
artikel |
|
| 3 | Invariant based programming: basic approach and teaching experiences |
Back, Ralph-Johan |
2008 |
21 | 3 |
p. 227-244 |
artikel |
|
| 4 | Practice-oriented courses in formal methods using VDM++ |
Larsen, Peter Gorm |
2008 |
21 | 3 |
p. 245-257 |
artikel |
|
| 5 | The RISC ProofNavigator: a proving assistant for program verification in the classroom |
Schreiner, Wolfgang |
2008 |
21 | 3 |
p. 277-291 |
artikel |
|
| 6 | Tool support for learning Büchi automata and linear temporal logic |
Tsay, Yih-Kuen |
2008 |
21 | 3 |
p. 259-275 |
artikel |
6 gevonden resultaten
Toegankelijkheidsverklaring