Michael E. Jørgensen

Publication Activity (10 Years)

Years Active: 1995-1997
Publications (10 Years): 0

Publications

Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach
Automatic Verification of Pointer Programs using Monadic Second-Order Logic. PLDI (1997)
Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm
Mona: Monadic Second-Order Logic in Practice. TACAS (1995)