|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Deriving Proof Rules from Continuation Semantics |
Audebaud, Philippe |
1999 |
11 | 4 |
p. 426-447 |
article |
|
| 2 | Hybrid Verifications of Reactive Programs |
Roux, Olivier |
1999 |
11 | 4 |
p. 448-471 |
article |
|
| 3 | Parameterized Verification of Linear Networks using Automata as Invariants |
Prasad Sistla, A. |
1999 |
11 | 4 |
p. 402-425 |
article |
|
| 4 | Revising Z: Part II – logical development |
Henson, Martin C. |
1999 |
11 | 4 |
p. 381-401 |
article |
|
| 5 | Revising Z: Part I – logic and semantics |
Henson, Martin C. |
1999 |
11 | 4 |
p. 359-380 |
article |
|
| 6 | ‘The Standard Logic for Z’: A Clarification |
King, Steve |
1999 |
11 | 4 |
p. 472-473 |
article |
6 results found