A Grand Challenge Proposal for Formal Methods: A Verified Stack (2002)

by J S Moore
Venue:Proc. 10th Anni. Coll. of UNU IIST