Jan Bessai. A type-theoretic framework for software component synthesis. PhD thesis, Technical University of Dortmund, Germany, 2019. [doi]
@phdthesis{dnb-22424, title = {A type-theoretic framework for software component synthesis}, author = {Jan Bessai}, year = {2019}, url = {http://d-nb.info/1200209680}, researchr = {https://researchr.org/publication/dnb-22424}, cites = {0}, citedby = {0}, school = {Technical University of Dortmund, Germany}, }