Adaptive Software Needs Continuous Verification

  • Authors:

  • Carlo Ghezzi

  • Affiliations:

  • -

  • Venue:
  • SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Extended abstract of keynote presentation