CITATION STYLE
Davis, K., & Wadler, P. (1990). Backwards Strictness Analysis: Proved and Improved (pp. 12–30). https://doi.org/10.1007/978-1-4471-3166-3_2
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley