Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno. Formal Methods for the Railway Sector. ERCIM News, 2018(112), 2018. [doi]
@article{BeekFFGS18,
title = {Formal Methods for the Railway Sector},
author = {Maurice H. ter Beek and Alessandro Fantechi and Alessio Ferrari and Stefania Gnesi and Riccardo Scopigno},
year = {2018},
url = {https://ercim-news.ercim.eu/en112/r-i/formal-methods-for-the-railway-sector},
researchr = {https://researchr.org/publication/BeekFFGS18},
cites = {0},
citedby = {0},
journal = {ERCIM News},
volume = {2018},
number = {112},
}