KIT | KIT-Bibliothek | Impressum

Inference-Based Support for Programming in the Large

Snelting, Gregor; Grosch, Franz-Josef; Schroeder, Ulrik



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1991
Sprache Englisch
Identifikator ISBN: 978-3-540-54742-6
ISSN: 0302-9743
KITopen ID: 1000017665
Erschienen in ESEC '91 - 3rd European Software Engineering Conference, ESEC '91 Milan, Italy, October 2124, 1991. Proceedings. Ed.: A. van Lamsweerde
Verlag Springer, Berlin
Seiten 396 - 408
Serie Lecture Notes in Computer Science ; 550
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page