|
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 Dynamic Logic for deductive verification of multi-threaded programs |
Beckert, Bernhard |
2012 |
25 | 3 |
p. 405-437 |
artikel |
|
| 2 | A Hoare logic for linear systems |
Arthan, Rob |
2011 |
25 | 3 |
p. 345-363 |
artikel |
|
| 3 | Atomicity failure and the retrenchment atomicity pattern |
Banach, Richard |
2011 |
25 | 3 |
p. 439-464 |
artikel |
|
| 4 | Editorial |
Bowen, Jonathan P. |
2013 |
25 | 3 |
p. 343 |
artikel |
|
| 5 | Model checking RAISE applicative specifications |
Perna, Juan I. |
2011 |
25 | 3 |
p. 365-388 |
artikel |
|
| 6 | Proving termination of nonlinear command sequences |
Babić, Domagoj |
2012 |
25 | 3 |
p. 389-403 |
artikel |
6 gevonden resultaten