![Maurice ter Beek](https://conf.researchr.org/getProfileImage/mauriceterbeek/03c228dc-d1b9-4622-877c-d8ba93b56f94/small.jpg?1711473243000)
Registered user since Tue 14 Nov 2017
Name:Maurice ter Beek
Affiliation:ISTI-CNR, Pisa, Italy
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
2023
International Conference on Program Comprehension
ICSE 2023-profile
View general profile
View general profile