Fechar
Metadados


Como Referenciar este Documento no Padrão INPE (Formato BibINPE)

SANTIAGO JÚNIOR, V. A.; SILVA, F. E. C. From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases. In: BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING, 2. (SAST), , Fortaleza, CE. Proceedings... 2017. ISBN 978-145035302-1.

Como Fazer a Citação no Texto (por autor/ano)

... como proposto por Santiago Júnior e Silva (2017).
... pode ser encontrada na literatura (SANTIAGO JÚNIOR; SILVA, 2017).



Fechar