A Formally Verified Sorting Certifier (1997)

Download From

IEEE
Download from IEEE

Download Links

by Jonathan D. Bright , Gregory F. Sullivan , Gerald M. Masson
Venue:IEEE Transactions on Computers
Citations:5 - 1 self