Elisabeth Weigl

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Programming Language

Automated Verification

Markov Random Field

Top Venues

Publications

Elisabeth Weigl, Johannes Binder, Stephan Strodl, Barbara Kolany, Daniel Draws, Andreas Rauber
A Framework for Automated Verification in Software Escrow. iPRES (2013)