%0 Conference Paper %1 conf/isola/DesaiQS18 %A Desai, Ankush %A Qadeer, Shaz %A Seshia, Sanjit A. %B ISoLA (2) %D 2018 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 103-119 %T Programming Safe Robotics Systems: Challenges and Advances. %U http://dblp.uni-trier.de/db/conf/isola/isola2018-2.html#DesaiQS18 %V 11245 %@ 978-3-030-03421-4

@inproceedings{conf/isola/DesaiQS18, added-at = {2018-10-30T00:00:00.000+0100}, author = {Desai, Ankush and Qadeer, Shaz and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2b9810b238ee4c1703c5f2197b9d2d8f8/dblp}, booktitle = {ISoLA (2)}, crossref = {conf/isola/2018-2}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-03421-4_8}, interhash = {5916fe3793ab595df99a56cf8414e096}, intrahash = {b9810b238ee4c1703c5f2197b9d2d8f8}, isbn = {978-3-030-03421-4}, keywords = {dblp}, pages = {103-119}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:43:23.000+0200}, title = {Programming Safe Robotics Systems: Challenges and Advances.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2018-2.html#DesaiQS18}, volume = 11245, year = 2018 }