%0 Journal Article %1 journals/corr/abs-1812-10103 %A Gleirscher, Mario %A Foster, Simon %A Woodcock, Jim %D 2018 %J CoRR %K dblp %T Assuring Autonomous Systems: Opportunities for Integrated Formal Methods? %U http://dblp.uni-trier.de/db/journals/corr/corr1812.html#abs-1812-10103 %V abs/1812.10103

@article{journals/corr/abs-1812-10103, added-at = {2019-01-02T00:00:00.000+0100}, author = {Gleirscher, Mario and Foster, Simon and Woodcock, Jim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2466718e6a9951ba7bdc8237f173a2d6a/dblp}, ee = {http://arxiv.org/abs/1812.10103}, interhash = {e7c9f9b97bb25f9c53b961ec8e3b11ea}, intrahash = {466718e6a9951ba7bdc8237f173a2d6a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:52:58.000+0200}, title = {Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1812.html#abs-1812-10103}, volume = {abs/1812.10103}, year = 2018 }