Proceedings PROC-2000-03

BibliographyKeller, Hubert B. (ed); Plödereder, Erhard (ed): Proceedings of Reliable Software Technologies - Ada Europe 2000.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
Lecture Notes in Computer Science; 1845, 304 pages, english.
Springer, June 2000.
ISBN: 3-540-67669-4.
Proceedings.
CR-SchemaD.2.4 (Software Engineering Software/Program Verification)
Abstract

Tagungsband

Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Entry dateJuly 7, 2010
   Publ. Institute   Publ. Computer Science