International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Time: Monday, 28.10
Room: Room 1
Authors: Michele Pasqua, Marino Miculan
Slides: Local_Reasoning_and_Attribute-based_Memory_Updates_for_Enforcing_Global_Invariants_in_Collective_Adaptive_Systems-slides.pdf