%0 Thesis %1 phd/us/Polak80 %A Polak, Wolfgang %D 1980 %K dblp %T Theory of compiler specification and verification.

@phdthesis{phd/us/Polak80, added-at = {2022-08-23T00:00:00.000+0200}, author = {Polak, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2b2770f0bde367131acb08bdf4674a55b/dblp}, ee = {https://searchworks.stanford.edu/view/842447}, interhash = {cecab63805b2b52a3f4311ce72c6d0ae}, intrahash = {b2770f0bde367131acb08bdf4674a55b}, keywords = {dblp}, school = {Stanford University, USA}, timestamp = {2024-04-09T08:04:16.000+0200}, title = {Theory of compiler specification and verification.}, year = 1980 }