Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Johan Dovland

Verifying Traits: An Incremental Proof System for Fine-Grained Reuse

Formal Aspects of Computing

Theoretical Computer Science

English