Reasoning About Sequences of Memory States.

Rmi Brochenin, Stphane Demri, tienne Lozes

Browse the full LFCS paper archive.