CITATION STYLE
Seiter, J., Wille, R., & Drechsler, R. (2017). Verification of Horizontal Refinement (pp. 79–92). https://doi.org/10.1007/978-3-319-41480-5_6
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley