CITATION STYLE
Mellergaard, N., & Staunstrup, J. (1993). Generating Proof Obligations for Circuits (pp. 185–200). https://doi.org/10.1007/978-1-4471-3558-6_11
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley