%0 Conference Paper %1 conf/sefm/CavadaCGS22 %A Cavada, Roberto %A Cimatti, Alessandro %A Griggio, Alberto %A Susi, Angelo %B SEFM Workshops %D 2022 %E Masci, Paolo %E Bernardeschi, Cinzia %E Graziani, Pierluigi %E Koddenbrock, Mario %E Palmieri, Maurizio %I Springer %K dblp %P 107-115 %T A Formal IDE for Railways: Research Challenges. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2022w.html#CavadaCGS22 %V 13765 %@ 978-3-031-26236-4

@inproceedings{conf/sefm/CavadaCGS22, added-at = {2023-02-28T00:00:00.000+0100}, author = {Cavada, Roberto and Cimatti, Alessandro and Griggio, Alberto and Susi, Angelo}, biburl = {https://www.bibsonomy.org/bibtex/284bfb395f99814cfc8bac32ea63243cf/dblp}, booktitle = {SEFM Workshops}, crossref = {conf/sefm/2022w}, editor = {Masci, Paolo and Bernardeschi, Cinzia and Graziani, Pierluigi and Koddenbrock, Mario and Palmieri, Maurizio}, ee = {https://doi.org/10.1007/978-3-031-26236-4_9}, interhash = {47b8e05f7228a9fa5685b35a6a14604d}, intrahash = {84bfb395f99814cfc8bac32ea63243cf}, isbn = {978-3-031-26236-4}, keywords = {dblp}, pages = {107-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:00.000+0200}, title = {A Formal IDE for Railways: Research Challenges.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2022w.html#CavadaCGS22}, volume = 13765, year = 2022 }