Media type: E-Book; Thesis Title: Verification of the C0 compiler implementation on the source code level Contributor: Petrova, Elena [Author] Published: 2007 Extent: Online-Ressource Language: English Identifier: Keywords: Hochschulschrift Origination: University thesis: Saarbrücken, Univ., Diss., 2007 Footnote: Access State: Open Access