A Mechanically Checked Proof of a Comparator Sort Algorithm (1999)

Cached

Download Links

by Bishop Brock , J Strother Moore
Venue:In Engineering Theories of Software Intensive Systems. IOS
Citations:8 - 7 self