Journals in DBLP

Formal Asp. Comput.
2004, volume: 16, number: 1

1. Cliff B. Jones, John Cooke
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:1, pp:1-0 [Journal]
   
2. John S. Fitzgerald
   Formal Methods Europe Update. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:1, pp:2-3 [Journal]
   
3. Cliff B. Jones, D. J. Cooke, Christiane Notarmarco
   Online First Publication. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:1, pp:4-0 [Journal]
   
4. Antónia Lopes, José Luiz Fiadeiro
   Superposition: composition vs refinement of non-deterministic, action-based systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:1, pp:5-18 [Journal]
   
5. Clare E. Martin, Jeremy Gibbons, Ian Bayley
   Disciplined, efficient, generalised folds for nested datatypes. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:1, pp:19-35 [Journal]
   
6. Alan Stewart, Maurice Clint, Joaquim Gabarró
   Barrier synchronisation: Axiomatisation and relaxation. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:1, pp:36-50 [Journal]
   
7. Richard F. Paige, Jonathan S. Ostroff
   ERC - An object-oriented refinement calculus for Eiffel. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:1, pp:51-79 [Journal]
   
8. C. T. Carr, T. Martin McGinnity, L. J. McDaid
   Integration of UML and VHDL-AMS for analogue system modelling. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2004, v:16, n:1, pp:80-94 [Journal]