Variability

Can we Communicate? Using Dynamic Logic to Verify Team Automata

FM 2023

Featured Team Automata

FM 2021