Veronika Ortner

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Veronika Ortner, Norbert Schirmer
BDD Normalisation. Arch. Formal Proofs 2008 (2008)
Veronika Ortner, Norbert Schirmer
Verification of BDD Normalization. TPHOLs (2005)