Practical Aspects of Declarative Languages 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings Morales, José F. Heftet / 2021 / Engelsk
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings Hermenegildo, Manuel V. Heftet / 2023 / Engelsk