Verified Translation Validation of Static Analyses

AuthID
P-00X-SZG
5
Author(s)
Laporte, V
·
Pichardie, D
·
Trieu, A
Document Type
Proceedings Paper
Year published
2017
Published
in 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017 in CSF
Pages: 405-419
Indexing
Publication Identifiers
Dblp: conf/csfw/BartheBLPT17
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.