M

Maurice H. ter Beek

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

ORCID: 0000-0002-2930-6367

269 papers and 3.1k citations.

PubIndex Score29Top 71% · seniorHow it's scored

269Publications

3.1kTotal Citations

First publication: 1996First senior author: 1996

Top publicationsby citations

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Maurice H. ter Beek, Alessio Ferrari|Software|2022

Cited by 11

Indexing the rest of 269 publications…