DMCA

A Mechanically Verified Language Implementation (1989)

by J Strother Moore
Venue:Journal of Automated Reasoning
Citations:54 - 2 self