This article is free to access.
CITATION STYLE
Leino, K. R. M. (2011). From Retrospective Verification to Forward-Looking Development (pp. 1–1). https://doi.org/10.1007/978-3-642-20398-5_1
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley