CITATION STYLE
Beckert, B., Klebanov, V., & Schlager, S. (2007). Dynamic Logic. In Verification of Object-Oriented Software. The KeY Approach (pp. 69–177). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-69061-0_3
Mendeley helps you to discover research relevant for your work.