8 de julho de 2025
<sid.inpe.br/mtc-m21b/2017/11.08.14.47>
(repositório)

Conference Proceedings
From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases
Santiago Júnior, Valdivino Alexandre de & Silva, Felipe Elias Costa da :2017:
(metadados do site <mtc-m21b.sid.inpe.br 804>)

O número de visitas desde o dia 8 de julho de 2025 é de 0.