CITATION STYLE
Russinoff, D. M. (2019). The Modeling Language. In Formal Verification of Floating-Point Hardware Design (pp. 239–251). Springer International Publishing. https://doi.org/10.1007/978-3-319-95513-1_15
Mendeley helps you to discover research relevant for your work.