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
| FormaliSE 2021 | Committee Member in Programme Committee within the FormaliSE 2021-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile