![](/img/cover-not-exists.png)
A type system for certified binaries
Shao, Zhong, Trifonov, Valery, Saha, Bratin, Papaspyrou, NikolaosVolume:
27
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/1053468.1053469
Date:
January, 2005
File:
PDF, 466 KB
english, 2005