%0 Journal Article %1 journals/software/YooJC09 %A Yoo, Junbeom %A Jee, Eunkyoung %A Cha, Sung Deok %D 2009 %J IEEE Software %K dblp %N 3 %P 42-49 %T Formal Modeling and Verification of Safety-Critical Software. %U http://dblp.uni-trier.de/db/journals/software/software26.html#YooJC09 %V 26

@article{journals/software/YooJC09, added-at = {2016-01-12T00:00:00.000+0100}, author = {Yoo, Junbeom and Jee, Eunkyoung and Cha, Sung Deok}, biburl = {https://www.bibsonomy.org/bibtex/235591bb2a38ecab89b3810b28e0a622d/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2009.67}, interhash = {6318eae4b0a572bb3f34a43f7c3d7422}, intrahash = {35591bb2a38ecab89b3810b28e0a622d}, journal = {IEEE Software}, keywords = {dblp}, number = 3, pages = {42-49}, timestamp = {2016-01-13T11:49:32.000+0100}, title = {Formal Modeling and Verification of Safety-Critical Software.}, url = {http://dblp.uni-trier.de/db/journals/software/software26.html#YooJC09}, volume = 26, year = 2009 }