dblp.uni-trier.de www.uni-trier.de

19. ASE 2004: Linz, Austria

19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria. IEEE Computer Society 2004, ISBN 0-7695-2131-2 BibTeX
@proceedings{DBLP:conf/kbse/2004,
  title     = {19th IEEE International Conference on Automated Software Engineering
               (ASE 2004), 20-25 September 2004, Linz, Austria},
  booktitle = {ASE},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2131-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Program Analysis

Tool Support for V&V Activities

Architecture and Frameworks

Testing 1

Verification of Code

Testing 2

Automated Programmer Assistance

Modular Verification

Short Papers

Short Papers

Formal Tool Demo Presentations

Doctoral Symposium

Copyright © Sat May 16 23:27:51 2009 by Michael Ley (ley@uni-trier.de)