Adaptive Software Needs Continuous Verification.

Carlo Ghezzi

Browse the full SEFM paper archive.