Fechar
Metadados


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

PONTES, R. P.; VÉRAS, P. C.; AMBROSIO, A. M.; VILLANI, E. Contributions of model checking and CoFI methodology to the development of space embedded software. Empirical Software Engineering, v. 19, n. 1, p. 39-68, Feb. 2014. DOI: <10.1007/s10664-012-9215-y>. Disponível em: <http://dx.doi.org/10.1007/s10664-012-9215-y>.

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

... como proposto por Pontes et al. (2014).
... pode ser encontrada na literatura (PONTES et al., 2014).



Fechar