Real-Time Double-Ended Queue Verified (Proof Pearl).

Balzs Tth, Tobias Nipkow

Browse the full ITP paper archive.