Maurice H. ter BeekAlessio Ferrari2024-08-142024-08-14https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/3743004Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methodspdf