%0 Journal Article %1 journals/dagstuhl-reports/CoferKSW15 %A Cofer, Darren D. %A Klein, Gerwin %A Slind, Konrad %A Wiels, Virginie %D 2015 %J Dagstuhl Reports %K dblp %N 4 %P 142-159 %T Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports5.html#CoferKSW15 %V 5

@article{journals/dagstuhl-reports/CoferKSW15, added-at = {2015-12-17T00:00:00.000+0100}, author = {Cofer, Darren D. and Klein, Gerwin and Slind, Konrad and Wiels, Virginie}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/220b804fc717ea122a4db3d693c49ffbc/dblp}, ee = {http://dx.doi.org/10.4230/DagRep.5.4.142}, interhash = {a70d7f07d02fc6ea5e202d7621ec4f49}, intrahash = {20b804fc717ea122a4db3d693c49ffbc}, journal = {Dagstuhl Reports}, keywords = {dblp}, number = 4, pages = {142-159}, timestamp = {2016-02-02T05:44:35.000+0100}, title = {Qualification of Formal Methods Tools (Dagstuhl Seminar 15182).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports5.html#CoferKSW15}, volume = 5, year = 2015 }