ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

Time: Thursday, 31.10

Room: Room 2

Authors: Stefano Bistarelli, Francesco Santini

Abstract: