in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 13992, Pages: 46-67 (22)
Conference
26Th International Conference on Foundations of Software Science and Computational Structures (Fossacs), Date: APR 22-27, 2023, Location: Paris, FRANCE