%0 Journal Article %1 journals/itpro/GossenMS20 %A Gossen, Frederik %A Margaria, Tiziana %A Steffen, Bernhard %D 2020 %J IT Prof. %K dblp %N 4 %P 8-12 %T Towards Explainability in Machine Learning: The Formal Methods Way. %U http://dblp.uni-trier.de/db/journals/itpro/itpro22.html#GossenMS20 %V 22

@article{journals/itpro/GossenMS20, added-at = {2020-07-30T00:00:00.000+0200}, author = {Gossen, Frederik and Margaria, Tiziana and Steffen, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/28a53dcbc56482241211608a67fa7b787/dblp}, ee = {https://doi.org/10.1109/MITP.2020.3005640}, interhash = {ae5ce10797eac38fd6931fa95f608277}, intrahash = {8a53dcbc56482241211608a67fa7b787}, journal = {IT Prof.}, keywords = {dblp}, number = 4, pages = {8-12}, timestamp = {2020-07-31T11:41:55.000+0200}, title = {Towards Explainability in Machine Learning: The Formal Methods Way.}, url = {http://dblp.uni-trier.de/db/journals/itpro/itpro22.html#GossenMS20}, volume = 22, year = 2020 }