%0 Thesis %1 phd/de/Gaul2004 %A Gaul, Thilo S. %D 2004 %K dblp %P 1-213 %T Konstruktion verifizierender Übersetzer mit Programmprüfung. %@ 3-8177-1279-0

@phdthesis{phd/de/Gaul2004, added-at = {2024-02-21T00:00:00.000+0100}, author = {Gaul, Thilo S.}, biburl = {https://www.bibsonomy.org/bibtex/20a97cb15216760d43a70ea823fc62385/dblp}, ee = {https://www.base-search.net/Record/77b8167eaa954afb93590b89704efa7172829b3fb6b56acdb40af1f05578c28a}, interhash = {be8e0c01cf4dffd9a8dcef71b36073de}, intrahash = {0a97cb15216760d43a70ea823fc62385}, isbn = {3-8177-1279-0}, keywords = {dblp}, pages = {1-213}, school = {Karlsruhe Institute of Technology}, timestamp = {2024-04-09T09:07:50.000+0200}, title = {Konstruktion verifizierender Übersetzer mit Programmprüfung.}, year = 2004 }