Journals in DBLP

Autom. Softw. Eng.
2002, volume: 9, number: 3

1. Mats Per Erik Heimdahl
   Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2002, v:9, n:3, pp:199- [Journal]
   
2. Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene
   Proving Invariants of I/O Automata with TAME. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2002, v:9, n:3, pp:201-232 [Journal]
   
3. Robert J. Hall
   Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2002, v:9, n:3, pp:233-261 [Journal]
   
4. W. B. Martin, P. D. White, F. S. Taylor
   Creating High Confidence in a Separation Kernel. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2002, v:9, n:3, pp:263-284 [Journal]
   
5. Nils Klarlund, Anders Møller, Michael I. Schwartzbach
   The DSD Schema Language. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2002, v:9, n:3, pp:285-319 [Journal]
   
6. John C. Knight
   Desert Island Books. [Citation Graph (0, 0)][DBLP]
   Autom. Softw. Eng., 2002, v:9, n:3, pp:321-334 [Journal]