Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jonas Braband Jensen

Modular Verification of Linked Lists With Views via Separation Logic.

Journal of Object Technology

English