|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
- 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]
|