Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers Itsykson, Vladimir Heftet / 2017 / Engelsk
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings Hansen, Helle Hvid Heftet / 2023 / Engelsk
Software Security -- Theories and Systems Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers Okada Mitsuhiro Heftet / 2003 / Engelsk
