Zimmermann, Wolf

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Zimmermann, Wolf
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen


Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewEditor(s)TitleTypeIssue Date
1Drechsler, Rolf ; Glesner, Sabine ; Knoop, Jens ; Zimmermann, Wolf Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008)Konferenzband Proceedings2008
2Glesner, Sabine ; Knoop, Jens ; Zimmermann, Wolf Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007)Konferenzband Proceedings 2007
3Knoop, Jens ; Necula, George ; Zimmermann, Wolf Fifth International Workshop on Compiler Optimization Meets Compiler VerificationKonferenzband Proceedings2006
4Knoop, Jens ; Necula, George ; Zimmermann, Wolf Proceedings of the 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005), Electronic Notes in Theoretical Computer Science, Volume 141, Issue 2Konferenzband Proceedings 2005
5Knoop, Jens ; Zimmermann, Wolf Journal of Universal Computer Science, Special Issue for the 1st International Workshop on Compiler Optimization meets Compiler Verification (COCV 2002)Konferenzband Proceedings 2003