CITATION STYLE
Becker, B., Scholl, C., & Wimmer, R. (2017). Verification of incomplete designs. In Formal System Verification: State-of the-Art and Future Trends (pp. 37–72). Springer International Publishing. https://doi.org/10.1007/978-3-319-57685-5_2
Mendeley helps you to discover research relevant for your work.