Record link: 
http://hdl.handle.net/20.500.12708/22353
-
Title: 
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006), Preface
en
Citation: 
Knoop, J., Necula, G., & Zimmermann, W. (2007). Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006), Preface. Electronic Notes in Theoretical Computer Science, 176(3). https://doi.org/10.1016/j.entcs.2007.06.002
-
Publisher DOI: 
10.1016/j.entcs.2007.06.002
-
Publication Type: 
Article - Editorial
en
Language: 
English
-
Authors: 
Knoop, Jens 
Necula, George 
Zimmermann, Wolf 
-
Organisational Unit: 
E194-05 - Forschungsbereich Compilers and Languages 
-
Journal: 
Electronic Notes in Theoretical Computer Science 
-
ISSN: 
1571-0661
-
Date (published): 
2007
-
Number of Pages: 
2
-
Peer reviewed: 
No
-
Keywords: 
Theoretical Computer Science; General Computer Science
-
Additional information: 
Part of Special Issue "Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006)"
-
Science Branch: 
Mathematik, Informatik
-
Appears in Collections:
Article

Show full item record

Page view(s)

183
checked on Nov 23, 2023

Google ScholarTM

Check