|
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 | Deriving Proof Rules from Continuation Semantics |
Audebaud, Philippe |
1999 |
11 | 4 |
p. 426-447 |
artikel |
|
| 2 | Hybrid Verifications of Reactive Programs |
Roux, Olivier |
1999 |
11 | 4 |
p. 448-471 |
artikel |
|
| 3 | Parameterized Verification of Linear Networks using Automata as Invariants |
Prasad Sistla, A. |
1999 |
11 | 4 |
p. 402-425 |
artikel |
|
| 4 | Revising Z: Part II – logical development |
Henson, Martin C. |
1999 |
11 | 4 |
p. 381-401 |
artikel |
|
| 5 | Revising Z: Part I – logic and semantics |
Henson, Martin C. |
1999 |
11 | 4 |
p. 359-380 |
artikel |
|
| 6 | ‘The Standard Logic for Z’: A Clarification |
King, Steve |
1999 |
11 | 4 |
p. 472-473 |
artikel |
6 gevonden resultaten