Barbosa, H., & 		Zohar, Y.
(2023).
 Front Matter.
<em>Anais Do SimpóSio Brasileiro De MéTodos Formais (SBMF), </em>, i-xxii.
Recuperado de <a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28042" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28042</a>