%0 Thesis %1 petrova2007verification %A Petrova, Elena %D 2007 %K %T Verification of the C0 compiler implementation on the source code level

@phdthesis{petrova2007verification, added-at = {2023-12-12T18:22:20.000+0100}, author = {Petrova, Elena}, biburl = {https://www.bibsonomy.org/bibtex/2f273f73456cfc1a2cc629300e93885d2/admin}, dnbtitleid = {98699426X}, interhash = {1151ef628ed7e55243455374364492d4}, intrahash = {f273f73456cfc1a2cc629300e93885d2}, keywords = {}, school = {Uni Saarbrücken}, timestamp = {2023-12-12T18:22:20.000+0100}, title = {Verification of the C0 compiler implementation on the source code level}, year = 2007 }