
Registered user since Tue 30 Jun 2020
Name: Maurice H. ter Beek
Country: Italy
Affiliation: ISTI-CNR
Personal website: http://fmt.isti.cnr.it/~mtbeek/
Research interests: Formal Methods, Model Checking Tools, Software Product Line Engineering, Service-Oriented Computing, Team Automata
Contributions
SPIN 2021 | ISTI-CNR in Programming Committee within the SPIN-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile