19 citations · 31 across the 12 of their papers we have counts for
1 paper · 1 filter
Maurice H. ter Beek, Alessio Ferrari
Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different stud…