A Generic Automated Proof-Carrying Framework

Master's Thesis, Indian Institute of Technology, New Delhi, India

Publication date: January 31, 2005

A. Chaudhuri