%0 Journal Article %1 journals/isse/Munoz11 %A Muñoz, César A. %D 2011 %J Innov. Syst. Softw. Eng. %K dblp %N 2 %P 71-72 %T Preface: special issue on NASA Formal Methods Symposium 2010. %U http://dblp.uni-trier.de/db/journals/isse/isse7.html#Munoz11 %V 7

@article{journals/isse/Munoz11, added-at = {2020-08-13T00:00:00.000+0200}, author = {Muñoz, César A.}, biburl = {https://www.bibsonomy.org/bibtex/2cd647eb9bad63ab8177a1fb86d10439d/dblp}, ee = {https://doi.org/10.1007/s11334-011-0153-4}, interhash = {d3c3d36a2e503f9824d14eb56c30e15e}, intrahash = {cd647eb9bad63ab8177a1fb86d10439d}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, number = 2, pages = {71-72}, timestamp = {2020-08-14T11:53:11.000+0200}, title = {Preface: special issue on NASA Formal Methods Symposium 2010.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse7.html#Munoz11}, volume = 7, year = 2011 }