Denis Lohner

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 5

Top Topics

Sufficient Conditions

Theoretical Foundation

Top Venues

Arch. Formal Proofs

Principled Software Development

Publications