%0 Journal Article %1 journals/software/MoyLDWM13 %A Moy, Yannick %A Ledinot, Emmanuel %A Delseny, Hervé %A Wiels, Virginie %A Monate, Benjamin %D 2013 %J IEEE Software %K dblp %N 3 %P 50-57 %T Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. %U http://dblp.uni-trier.de/db/journals/software/software30.html#MoyLDWM13 %V 30

@article{journals/software/MoyLDWM13, added-at = {2016-01-12T00:00:00.000+0100}, author = {Moy, Yannick and Ledinot, Emmanuel and Delseny, Hervé and Wiels, Virginie and Monate, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/26e592e25eb8985603459eaa51135c190/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2013.43}, interhash = {7fffd4b9151b0306871d9fa25b30614f}, intrahash = {6e592e25eb8985603459eaa51135c190}, journal = {IEEE Software}, keywords = {dblp}, number = 3, pages = {50-57}, timestamp = {2016-01-13T11:46:47.000+0100}, title = {Testing or Formal Verification: DO-178C Alternatives and Industrial Experience.}, url = {http://dblp.uni-trier.de/db/journals/software/software30.html#MoyLDWM13}, volume = 30, year = 2013 }