CITATION STYLE
Stetter, H. J. (1993). Verification in Computer Algebra Systems (pp. 247–263). https://doi.org/10.1007/978-3-7091-6918-6_18
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley