150
click to vote
CAISE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...