%0 Thesis %1 phd/dnb/Kock92 %A Kock, Gerd %D 1992 %I Oldenbourg %K dblp %P 1-217 %T Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme. %@ 978-3-486-22255-5

@phdthesis{phd/dnb/Kock92, added-at = {2024-02-28T00:00:00.000+0100}, author = {Kock, Gerd}, biburl = {https://www.bibsonomy.org/bibtex/225f5552bde013a2564fc2948ed5beb14/dblp}, ee = {https://www.base-search.net/Record/0807c0eeb2db28fa843d9ae7c34205a2fbfb5d3ff252909fe37728d578b9f5f5}, interhash = {60e9a37a6a4f20b3eff117f0e1792d69}, intrahash = {25f5552bde013a2564fc2948ed5beb14}, isbn = {978-3-486-22255-5}, keywords = {dblp}, pages = {1-217}, publisher = {Oldenbourg}, school = {Karlsruhe Institute of Technology, Germany}, timestamp = {2024-04-09T08:31:53.000+0200}, title = {Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme.}, year = 1992 }