TY - CONF T1 - Mechanizing a correctness proof for a lock-free concurrent stack JO - FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS PY - 2008/01/01 AU - Derrick J AU - Schellhorn G AU - Wehrheim H ED - Barthe G ED - DeBoer FS VL - 5051 SP - 78 EP - 95 Y2 - 2025/06/02 ER -