Formal Reasoning About Efficient Data Structures: A Case Study in ACL2 (2004)

Cached

Download Links

by J. -l. Ruiz-reina , J. -a. Alonso , M. -j. Hidalgo , F. -j. Martín-mateos
Venue:In Logic Based Program Synthesis and Transformation, LNCS 3018
Citations:1 - 1 self