Journals in DBLP

Formal Asp. Comput.
2006, volume: 18, number: 3

1. Eerke A. Boiten, Michael Butler
   Guest Editorial Editorial for the FAC Special Issue based on derivative papers from "Refine '05". [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:3, pp:263- [Journal]
   
2. Graeme Smith, John Derrick
   Verifying data refinements using a model checker. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:3, pp:264-287 [Journal]
   
3. Ana Cavalcanti, Jim Woodcock, Steve Dunne
   Angelic nondeterminism in the unifying theories of programming. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:3, pp:288-307 [Journal]
   
4. Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
   Tank monitoring: a pAMN case study. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:3, pp:308-328 [Journal]
   
5. Moshe Deutsch, Martin C. Henson
   An analysis of refinement in an abortive paradigm. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:3, pp:329-363 [Journal]
   
6. Martin C. Henson, Moshe Deutsch, Besnik Kajtazi
   The specification logic nuZ. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2006, v:18, n:3, pp:364-395 [Journal]