Franco Mazzanti, Davide Basile. A Formal Methods Demonstrator for Railways. ERCIM News, 2020(121), 2020. [doi]
@article{MazzantiB20, title = {A Formal Methods Demonstrator for Railways}, author = {Franco Mazzanti and Davide Basile}, year = {2020}, url = {https://ercim-news.ercim.eu/en121/r-i/a-formal-methods-demonstrator-for-railways}, researchr = {https://researchr.org/publication/MazzantiB20}, cites = {0}, citedby = {0}, journal = {ERCIM News}, volume = {2020}, number = {121}, }