Silva, Rovedy Aparecida Busquim e ; Arai, Nanci Naomi ; Burgareli, Luciana Akemi.. R. A. B. e Silva, N. N. Arai, L. A. Burgareli, J. M. P. Oliveira, and J. S. Pinto. Using Abstract Interpretation to Produce Dependable Aerospace Control Software. In Industrial Track of the 6th. Latin American Symposium on Dependable Computing (LADC'13), 2013.
,
2013