CITATION STYLE
Roth, A., & Schmitt, P. H. (2007). Formal Specification. In Verification of Object-Oriented Software. The KeY Approach (pp. 245–294). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-69061-0_5
Mendeley helps you to discover research relevant for your work.