|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | AutoProof meets some verification challenges |
Tschannen, Julian |
2014 |
17 | 6 |
p. 745-755 |
artikel |
|
| 2 | Implementation-level verification of algorithms with KeY |
Bruns, Daniel |
2013 |
17 | 6 |
p. 729-744 |
artikel |
|
| 3 | KIV: overview and VerifyThis competition |
Ernst, Gidon |
2014 |
17 | 6 |
p. 677-694 |
artikel |
|
| 4 | Let’s verify this with Why3 |
Bobot, François |
2014 |
17 | 6 |
p. 709-727 |
artikel |
|
| 5 | Solving the VerifyThis 2012 challenges with VeriFast |
Jacobs, Bart |
2014 |
17 | 6 |
p. 659-676 |
artikel |
|
| 6 | SPARK 2014 and GNATprove |
Hoang, Duc |
2014 |
17 | 6 |
p. 695-707 |
artikel |
|
| 7 | VerifyThis 2012 |
Huisman, Marieke |
2015 |
17 | 6 |
p. 647-657 |
artikel |
|
| 8 | Witnessing the elimination of magic wands |
Blom, Stefan |
2015 |
17 | 6 |
p. 757-781 |
artikel |
8 gevonden resultaten