Static Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings Palsberg Jens Heftet / 2000 / Engelsk
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings Dillig, Isil Heftet / 2018 / Engelsk
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday Barik, Rajkishore Heftet / 2025 / Engelsk
