TOENNEMANN, Jan; 						ANICULĂESEI, Adina; 						RAUSCH, Andreas.
 Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations. <em>In</em>: BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST), 5.	, 2020, Natal/RN.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2020
.
 p. 60–68.