@PhdThesis{Thaller2021, author = {Hannes Thaller}, title = {Probalistic Software Modeling}, year = {2021}, type = {phdthesis}, }