CITATION STYLE
Hoare, C. A. R., Jifeng, H., Bowen, J., & Pandya, P. (1990). An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming Language. In ESPRIT ’90 (pp. 804–818). Springer Netherlands. https://doi.org/10.1007/978-94-009-0705-8_65
Mendeley helps you to discover research relevant for your work.