Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
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:
Artikel - Editorial
de
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
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
86
checked on Jan 25, 2023
Google Scholar
TM
Check