Efficient, Formally Verifiable Data Structures using ACL2 Single-Threaded Objects for High-Assurance Systems

Cached

Download Links

by David S. Hardin , Samuel S. Hardin