ISoLA 2024

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

Track

Bridging gaps between program specification paradigms

Time	Room	Session
Tue, 29.10 09:00	Room 2	Session 1
Tue, 29.10 11:00	Room 2	Session 2
Tue, 29.10 14:30	Room 2	Session 3
Tue, 29.10 16:30	Room 2	Session 4