Inference-Based Support for Programming in the Large
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 Verlag |
| Seiten | 396 - 408 |
| Serie | Lecture Notes in Computer Science ; 550 |