• Published

  Layered Fixed Point Logic

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

• Published

  A Succinct Approach to Static Analysis and Model Checking

  Publication: Research › Ph.D. thesis – Annual report year: 2012

• Published

  Galois Connections for Flow Algebras

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

View all »

• Association for Computing Machinery, 0-89791

  Central database

  Publisher

• Springer, 0-387

  Central database

  Publisher

• Technical University of Denmark

  Local database

  Publisher

• Completed

  Static Analysis and Model Checking of Software Systems

  Project: PhD