Carvalho, G., 		Santana, L., 		Sobral, F., & 		Souza, B.
2025 dez  3.  Executable Conformance Testing Theories: From Theory to Practice and Back. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :