Felix Franz / FHWS / Smart Contract Generation - Bachelor Thesis / Generator.Backend