A Mechanically Verified Language Implementation. To appear in The Journal of Automated Reasoning. Also available as (0)

by J S Moore
Venue:Computational Logic, Inc., 1717 W. 6th St., Suite 290