Journals in DBLP

Formal Asp. Comput.
1996, volume: 8, number: 1

1. Paulo S. C. Alencar, Carlos José Pereira de Lucena
   A Logical Framework for Evolving Software Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:1, pp:3-46 [Journal]
   
2. Peter Gorm Larsen, Bo Stig Hansen
   Semantics of Under-determined Expressions. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:1, pp:47-66 [Journal]
   
3. Karen Seidel, Paul H. B. Gardiner
   Structured Development of a Virtual Shared Memory System. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:1, pp:67-85 [Journal]
   
4. Martin Simons, Matthias Weber
   An Approach to Literate and Structured Formal Developments. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:1, pp:86-107 [Journal]
   
5. David Billington, R. Geoff Dromey
   The Co-invariant Generator: An Aid in Deriving Loop Bodies. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1996, v:8, n:1, pp:108-126 [Journal]