Inference-Based Support for Programming in the Large (1991)

by G Snelting, F-J Grosch, U Schroder
Venue:Proc. 3rd. European Software Engineering Conference, Lecture Notes in Computer Science 550