Andreas Roth. Specification and verification of object oriented software components. PhD thesis, Karlsruhe Institute of Technology, 2006. [doi]
@phdthesis{de-3912, title = {Specification and verification of object oriented software components}, author = {Andreas Roth}, year = {2006}, url = {http://www.uvka.de/univerlag/volltexte/2006/130/}, note = {http://d-nb.info/980336694}, researchr = {https://researchr.org/publication/de-3912}, cites = {0}, citedby = {0}, school = {Karlsruhe Institute of Technology}, }