Journals in DBLP

Formal Asp. Comput.
2002, volume: 13, number: 2

1. John Cooke, B. Tim Denvir
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2002, v:13, n:2, pp:93- [Journal]
   
2. Carsten Sühl
   An Overview of the Integrated Formalism RT-Z. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2002, v:13, n:2, pp:94-110 [Journal]
   
3. John Derrick, Eerke A. Boiten
   Combining Component Specifications in Object-Z and CSP. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2002, v:13, n:2, pp:111-127 [Journal]
   
4. Graeme Smith, Ian J. Hayes
   An Introduction to Real-Time Object-Z. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2002, v:13, n:2, pp:128-141 [Journal]
   
5. Brendan P. Mahony, Jin Song Dong
   Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2002, v:13, n:2, pp:142-160 [Journal]
   
6. Martin Große-Rhode
   Compositional Comparison of Formal Software Specifications Using Transformation Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2002, v:13, n:2, pp:161-186 [Journal]