Journals in DBLP

Formal Asp. Comput.
1995, volume: 7, number: 6

1. Philippe Noël
   A Transformation-Based Synthesis of Temporal Specifications. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:6, pp:587-619 [Journal]
   
2. Ian Maung
   On Simulation, Subtyping and Substitutability in Sequential Object Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:6, pp:620-651 [Journal]
   
3. David A. Naumann
   Data Refinement, Call by Value and Higher Order Programs. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:6, pp:651-662 [Journal]
   
4. Sergei Gorlatch, Christian Lengauer
   Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:6, pp:663-682 [Journal]
   
5. Rajit Manohar, K. Rustan M. Leino
   Conditional Composition. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:6, pp:683-703 [Journal]
   
6. Paul Mukherjee, Victoria Stavridou
   A Theory pf Orwellian Specifications with NewThink. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1995, v:7, n:6, pp:704-727 [Journal]