Certificate Translation in Abstract Interpretation

AuthID
P-00Y-FMX
2
Author(s)
Kunz, C
1
Editor(es)
Drossopoulou,S
Tipo de Documento
Proceedings Paper
Year published
2008
Publicado
in Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings in Lecture Notes in Computer Science
Volume: 4960, Páginas: 368-382
Indexing
Publication Identifiers
DBLP: conf/esop/BartheK08
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.