Milos Novacek (ETH Zurich)

Milos Novacek (ETH Zurich)

Abstract Interpretation - Framework for Verifying Software Correctness