Hannes Mehnert

Hannes Mehnert

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S

Information Desk: 72185000

View graph of relations

Research outputs (7)

  1. Published

    Kopitiam – a unified IDE for developing formally verified Java programs

    Research output: Book / Anthology / Report / Ph.D. thesisReport

  2. Published

    Incremental Interactive Verification of the Correctness of Object-Oriented Software

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

  3. Published

    Encoding Featherweight Java with Assignment and Immutability using The Coq Proof Assistant

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View all (7) »

ID: 1082898