Journals in DBLP

Formal Asp. Comput.
2003, volume: 15, number: 2-3

1. 
   Editorial. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:101-102 [Journal]
   
2. Ralph-Johan Back, Joakim von Wright
   Compositional Action System Refinement. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:103-117 [Journal]
   
3. Jim Davies, Charles Crichton
   Concurrency and Refinement in the Unified Modeling Language. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:118-145 [Journal]
   
4. Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
   A Refinement Strategy for Circus. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:146-181 [Journal]
   
5. John Derrick, Eerke A. Boiten
   Relational Concurrent Refinement. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:182-214 [Journal]
   
6. Emil Sekerinski
   Exploring Tabular Verification and Refinement. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:215-236 [Journal]
   
7. Egon Börger
   The ASM Refinement Method. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:237-257 [Journal]
   
8. Luke Wildman, Colin J. Fidge, David A. Carrington
   The Variety of Variables in Automated Real-Time Refinement. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:258-279 [Journal]
   
9. Bernhard K. Aichernig
   Mutation Testing in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:280-295 [Journal]