DC Field
Value
Language
dc.contributor.author
Knoop, Jens
-
dc.contributor.author
Necula, George
-
dc.contributor.author
Zimmermann, Wolf
-
dc.date.accessioned
2022-07-29T07:08:38Z
-
dc.date.available
2022-07-29T07:08:38Z
-
dc.date.issued
2007
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Knoop, J., Necula, G., &#38; Zimmermann, W. (2007). Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006), Preface. <i>Electronic Notes in Theoretical Computer Science</i>, <i>176</i>(3). https://doi.org/10.1016/j.entcs.2007.06.002</div> </div>
-
dc.identifier.issn
1571-0661
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/22353
-
dc.description
Part of Special Issue "Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006)"
-
dc.language.iso
en
-
dc.relation.ispartof
Electronic Notes in Theoretical Computer Science
-
dc.subject
Theoretical Computer Science
-
dc.subject
General Computer Science
-
dc.title
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006), Preface
en
dc.type
Artikel
de
dc.type
Article
en
dc.type.category
Editorial
-
tuw.container.volume
176
-
tuw.container.issue
3
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
false
-
dcterms.isPartOf.title
Electronic Notes in Theoretical Computer Science
-
tuw.publication.orgunit
E194-05 - Forschungsbereich Compilers and Languages
-
tuw.publisher.doi
10.1016/j.entcs.2007.06.002
-
dc.description.numberOfPages
2
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
item.languageiso639-1
en
-
item.openairetype
editorial
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_b239
-
crisitem.author.dept
E194 - Institut für Information Systems Engineering
-
crisitem.author.dept
Martin Luther University Halle-Wittenberg
-
crisitem.author.parentorg
E180 - Fakultät für Informatik
-
Appears in Collections:
Article
Show simple item record

Page view(s)

219
checked on Nov 23, 2023

Google ScholarTM

Check