%0 Conference Paper %1 conf/icse/AskarpourMBBP20 %A Askarpour, Mehrnoosh %A Menghi, Claudio %A Belli, Gabriele %A Bersani, Marcello M. %A Pelliccione, Patrizio %B FormaliSE@ICSE %D 2020 %E Bae, Kyungmin %E Bianculli, Domenico %E Gnesi, Stefania %E Plat, Nico %I ACM %K dblp %P 55-65 %T Mind the gap: Robotic Mission Planning Meets Software Engineering. %U http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#AskarpourMBBP20 %@ 978-1-4503-7071-4

@inproceedings{conf/icse/AskarpourMBBP20, added-at = {2023-07-27T00:00:00.000+0200}, author = {Askarpour, Mehrnoosh and Menghi, Claudio and Belli, Gabriele and Bersani, Marcello M. and Pelliccione, Patrizio}, biburl = {https://www.bibsonomy.org/bibtex/2d8c6576ce43f6a225ed6a1b122b6bb80/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse/2020formalise}, editor = {Bae, Kyungmin and Bianculli, Domenico and Gnesi, Stefania and Plat, Nico}, ee = {https://ieeexplore.ieee.org/document/10186670}, interhash = {edd6af5da4c7b3fe52a6f27ba4c08153}, intrahash = {d8c6576ce43f6a225ed6a1b122b6bb80}, isbn = {978-1-4503-7071-4}, keywords = {dblp}, pages = {55-65}, publisher = {ACM}, timestamp = {2024-04-10T00:12:41.000+0200}, title = {Mind the gap: Robotic Mission Planning Meets Software Engineering.}, url = {http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#AskarpourMBBP20}, year = 2020 }