Journals in DBLP

Formal Asp. Comput.
1999, volume: 11, number: 4

1. Martin C. Henson, Steve Reeves
   Revising Z: Part I - Logic and Semantics. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:4, pp:359-380 [Journal]
   
2. Martin C. Henson, Steve Reeves
   Revising Z: Part II - Logical Development. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:4, pp:381-401 [Journal]
   
3. A. Prasad Sistla, Viktor Gyuris
   Parameterized Verification of Linear Networks using Automata as Invariants. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:4, pp:402-425 [Journal]
   
4. Philippe Audebaud, Elena Zucca
   Deriving Proof Rules from Continuation Semantics. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:4, pp:426-447 [Journal]
   
5. Olivier Roux, Vlad Rusu, Franck Cassez
   Hybrid Verifications of Reactive Programs. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:4, pp:448-471 [Journal]
   
6. Steve King
   `The Standard Logic for Z': A Clarification. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1999, v:11, n:4, pp:472-473 [Journal]