Skip to contents Pfeifer, Holger [Author]; Dold, Axel [Author]; Henke, Friedrich Wilhelm von [Author]; Rueß, Harald [Author] Mechanized semantics of simple imperative programming constructs Electronic Resources View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:50Z Glesner, Sabine [Author]; Goos, Gerhard [Author]; Zimmermann, Wolf [Author] Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/1000002608 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. De Gruyter, 2005-03-23 Published in: it - Information Technology, 46 (5), 265-276 ; ISSN: 1611-2776 Goerigk, Wolfgang [Author]; Gaul, Thilo [Author]; Goos, Gerhard [Author]; Heberle, Andreas [Author]; Zimmermann, Wolf [Author] Compiler correctness and implementation verification: the verifix approach Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/218896 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Ahmed, Umair Z.; Fan, Zhiyu; Yi, Jooyong; Al-Bataineh, Omar I.; Roychoudhury, Abhik Verifix: Verified Repair of Programming Assignments Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2022 Published in: ACM Transactions on Software Engineering and Methodology
Pfeifer, Holger [Author]; Dold, Axel [Author]; Henke, Friedrich Wilhelm von [Author]; Rueß, Harald [Author] Mechanized semantics of simple imperative programming constructs Electronic Resources View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:50Z
Glesner, Sabine [Author]; Goos, Gerhard [Author]; Zimmermann, Wolf [Author] Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/1000002608 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. De Gruyter, 2005-03-23 Published in: it - Information Technology, 46 (5), 265-276 ; ISSN: 1611-2776
Goerigk, Wolfgang [Author]; Gaul, Thilo [Author]; Goos, Gerhard [Author]; Heberle, Andreas [Author]; Zimmermann, Wolf [Author] Compiler correctness and implementation verification: the verifix approach Articles View online Schließen > Links https://publikationen.bibliothek.kit.edu/218896 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. KITopen (Karlsruhe Institute of Technologie), 2008-01-16
Ahmed, Umair Z.; Fan, Zhiyu; Yi, Jooyong; Al-Bataineh, Omar I.; Roychoudhury, Abhik Verifix: Verified Repair of Programming Assignments Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2022 Published in: ACM Transactions on Software Engineering and Methodology
> Media type Skip to next facet Articles (3) Wert ausschließen Electronic Resources (1) Wert ausschließen Show more show less
> Language Skip to next facet English (3) Wert ausschließen German (1) Wert ausschließen Show more show less
> Creator Skip to next facet Goos, Gerhard (2) Wert ausschließen Zimmermann, Wolf (2) Wert ausschließen Ahmed, Umair Z. (1) Wert ausschließen Al-Bataineh, Omar I. (1) Wert ausschließen Dold, Axel (1) Wert ausschließen Fan, Zhiyu (1) Wert ausschließen Gaul, Thilo (1) Wert ausschließen Glesner, Sabine (1) Wert ausschließen Goerigk, Wolfgang (1) Wert ausschließen Heberle, Andreas (1) Wert ausschließen Henke, Friedrich Wilhelm von (1) Wert ausschließen Pfeifer, Holger (1) Wert ausschließen Roychoudhury, Abhik (1) Wert ausschließen Rueß, Harald (1) Wert ausschließen Yi, Jooyong (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (3) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (2) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (1) Wert ausschließen Show more show less