%0 Thesis %1 phd/ndltd/Santos15e %A dos Santos, Luciana Brasil Rebelo %D 2015 %K dblp %T Uma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML.

@phdthesis{phd/ndltd/Santos15e, added-at = {2017-08-26T00:00:00.000+0200}, author = {dos Santos, Luciana Brasil Rebelo}, biburl = {https://www.bibsonomy.org/bibtex/293c40f412f44f9df867be43877205c27/dblp}, ee = {http://search.ndltd.org/show.php?id=oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_INPE:oai:urlib.net:sid.inpe.br/mtc-m21b/2015/09.08.18.24.45-0}, interhash = {fae82591eb3ecb24ee258fe2fe69cad5}, intrahash = {93c40f412f44f9df867be43877205c27}, keywords = {dblp}, note = {ndltd.org (oai:agregador.ibict.br.BDTD_INPE:oai:urlib.net:sid.inpe.br/mtc-m21b/2015/09.08.18.24.45-0)}, school = {National Institute for Space Research, São José dos Campos, Brazil}, timestamp = {2017-08-29T11:47:55.000+0200}, title = {Uma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML.}, year = 2015 }