Maurice H. ter Beek, Alessio Ferrari 0001. Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. Softw., 1(4):381-416, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.