Name:Maurice H. ter Beek

Country:Italy

Affiliation:ISTI-CNR

Research interests:Formal Methods, Model Checking Tools, Software Product Line Engineering, Service-Oriented Computing, Team Automata