Improving Model-Based Software Synthesis: A Focus on Mathematical Structures

@phdthesis{goens_phdthesis21,
  author       = {Andrés Goens},
  title        = {Improving Model-Based Software Synthesis: {A} Focus on Mathematical
                  Structures},
  school       = {Dresden University of Technology, Germany},
  year         = {2021},
  url          = {https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-748845},
  urn          = {urn:nbn:de:bsz:14-qucosa2-748845},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
}