Milos Novacek (ETH Zurich)

Abstract Interpretation - Framework for Verifying Software Correctness