Journals in DBLP

Formal Asp. Comput.
2000, volume: 12, number: 3

1. Jeannette M. Wing, Jim Woodcock
   The First World Congress on Formal Methods in the Development of Computing Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:3, pp:145-146 [Journal]
   
2. Heike Wehrheim
   Data Abstraction Techniques in the Validation of CSP-OZ Specifications. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:3, pp:147-164 [Journal]
   
3. Steve Schneider
   Abstraction and Testing in CSP. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:3, pp:165-181 [Journal]
   
4. Michael J. Butler
   csp2B: A Practical Approach to Combining CSP and B. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:3, pp:182-198 [Journal]
   
5. Andrew Martin
   Relating Z and First-Order Logic. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:3, pp:199-209 [Journal]