Journals in DBLP

Formal Asp. Comput.
1993, volume: 5, number: 4

1. Bill Stoddart, Peter J. Knaggs
   Type Interference in Stack Based Languages. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1993, v:5, n:4, pp:289-298 [Journal]
   
2. Paul Mukherjee, Victoria Stavridou
   The Formal Specification of Safety Requirements for Storing Explosives. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1993, v:5, n:4, pp:299-336 [Journal]
   
3. Esther Dennis-Jones, David E. Rydeheard
   Categorical ML - Category-Theoretic Modular Programming. [Citation Graph (1, 0)][DBLP]
   Formal Asp. Comput., 1993, v:5, n:4, pp:337-366 [Journal]
   
4. Paul H. B. Gardiner, Carroll Morgan
   A Single Complete Rule for Data Refinement. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1993, v:5, n:4, pp:367-382 [Journal]