Formal Reasoning about Efficient Data Structures: A Case Study in ACL2.

Jos-Luis Ruiz-Reina, Jos Antonio Alonso Jimenez, Mara-Jos Hidalgo, Francisco-Jess Martn-Mateos

Browse the full LOPSTR paper archive.