An Abstract Model of Certificate Translation
Barthe, Gilles, Kunz, CésarVolume:
33
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/1985342.1985344
Date:
July, 2011
File:
PDF, 937 KB
english, 2011