Wolfgang Naraschewski

Publication Activity (10 Years)

Years Active: 1996-2004
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Wolfgang Naraschewski, Tobias Nipkow
Mini ML. Arch. Formal Proofs 2004 (2004)
Wolfgang Naraschewski, Tobias Nipkow
Type Inference Verified: Algorithm W in Isabelle/HOL. J. Autom. Reason. 23 (3-4) (1999)
Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup
Inheritance of Proofs. Theory Pract. Object Syst. 4 (1) (1998)
Wolfgang Naraschewski, Markus Wenzel
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic. TPHOLs (1998)
Wolfgang Naraschewski
Towards an Object-Oriented Progification Language. TPHOLs (1997)
Wolfgang Naraschewski, Tobias Nipkow
Type Inference Verified: Algorithm W in Isabelle/HOL. TYPES (1996)