Journals in DBLP
Matthew Hennessy , H. Lin Proof Systems for Message-Passing Process Algebras. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1996, v:8, n:4, pp:379-407 [Journal ] David Scholefield Real-Time Refinement in Manna and Pnueli's Temporal Logic. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1996, v:8, n:4, pp:408-427 [Journal ] Christoph Beierle , Egon Börger Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1996, v:8, n:4, pp:428-462 [Journal ] Stefan Rönn Invariants and Closures in the Theory of Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1996, v:8, n:4, pp:463-478 [Journal ] A. P. Martin , Paul H. B. Gardiner , Jim Woodcock A Tactic Calculus-Abridged Version. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1996, v:8, n:4, pp:479-489 [Journal ] Mark Harman , Dan Simpson , Sebastian Danicic Slicing Programs in the Presence of Errors. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1996, v:8, n:4, pp:490-497 [Journal ]