BCiC: A system for code authentication and verification (2005)

by Nathan Whitehead , Martín Abadi
Venue:In Proceedings of the 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR’04
Citations:4 - 4 self