Registered user since Tue 14 Nov 2017
Name:Maurice 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
2025
FSEN
FSEN 2025-profile
View general profile
View general profile