%0 Journal Article %1 journals/tr/SilvaABOP16 %A e Silva, Rovedy Aparecida Busquim %A Arai, Nanci Naomi %A Burgareli, Luciana Akemi %A de Oliveira, José Maria Parente %A Pinto, Jorge Sousa %D 2016 %J IEEE Trans. Reliability %K dblp %N 3 %P 1163-1179 %T Formal Verification With Frama-C: A Case Study in the Space Software Domain. %U http://dblp.uni-trier.de/db/journals/tr/tr65.html#SilvaABOP16 %V 65

@article{journals/tr/SilvaABOP16, added-at = {2016-09-06T00:00:00.000+0200}, author = {e Silva, Rovedy Aparecida Busquim and Arai, Nanci Naomi and Burgareli, Luciana Akemi and de Oliveira, José Maria Parente and Pinto, Jorge Sousa}, biburl = {https://www.bibsonomy.org/bibtex/2676fc3733f3909588628521b6942b8be/dblp}, ee = {http://dx.doi.org/10.1109/TR.2015.2508559}, interhash = {063247e809ab709ea1091d3fee6065a4}, intrahash = {676fc3733f3909588628521b6942b8be}, journal = {IEEE Trans. Reliability}, keywords = {dblp}, number = 3, pages = {1163-1179}, timestamp = {2016-09-07T11:34:43.000+0200}, title = {Formal Verification With Frama-C: A Case Study in the Space Software Domain.}, url = {http://dblp.uni-trier.de/db/journals/tr/tr65.html#SilvaABOP16}, volume = 65, year = 2016 }