Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter Sestoft

Modular Verification of Linked Lists With Views via Separation Logic.

Journal of Object Technology

English