Reliable Software Technologies Ada-Europe 2000

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Reliable Software Technologies Ada-Europe 2000
 
Publisher Verlag
Springer-Verlag
 
Place of publishing Erscheinungsort
1845
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Blieberger, Johann ; Burgstaller, Bernd ; Scholz, Bernhard Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking ProgramsKonferenzbeitrag Inproceedings2000