117
click to vote
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...