190
Voted
FMCO
2003
Springer
16 years 14 days 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...