Journals in DBLP

Formal Asp. Comput.
1998, volume: 10, number: 2

1. David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh
   A Program Refinement Tool. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:2, pp:97-124 [Journal]
   
2. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
   Specifying and Refining Internal Operations in Z. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:2, pp:125-159 [Journal]
   
3. Philippe de Groote, Guy Perrier
   A Note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic''. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:2, pp:160-170 [Journal]
   
4. Tobias Nipkow
   Winskel is (almost) Right: Towards a Mechanized Semantics. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:2, pp:171-186 [Journal]
   
5. Ian J. Hayes
   Expressive Power of Specification Languages. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:2, pp:187-192 [Journal]