Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Maurice H. ter Beek(Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"), Alessio Ferrari(University College Dublin)
Cited by 11
Related Papers
No related papers found
Powered by citation graph analysis