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

by David S. Hardin , Samuel S. Hardin
Citations:2 - 1 self