CITATION STYLE
Liggesmeyer, P. (2009). Formale Techniken: Symbolischer Test und formaler Korrektheitsbeweis. In Software-Qualität (pp. 321–360). Spektrum Akademischer Verlag. https://doi.org/10.1007/978-3-8274-2203-3_10
Mendeley helps you to discover research relevant for your work.