Variations on Constants Flow Analysis of Sequential and Parallel Programs Müller-Olm, Markus Heftet / 2006 / Engelsk
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings Jones Neil Heftet / 2008 / Engelsk
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Müller-Olm, Markus Heftet / 2014 / Engelsk
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings Feng Xinyu Heftet / 2018 / Engelsk
