Skip to content

Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering.

K. Rustan M. Leino

Year2008
ProceedingsCOMPSAC

Browse the full COMPSAC paper archive.