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