%0 Journal Article %1 journals/sttt/MazzantiFS18 %A Mazzanti, Franco %A Ferrari, Alessio %A Spagnolo, Giorgio Oronzo %D 2018 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 263-288 %T Towards formal methods diversity in railways: an experience report with seven frameworks. %U http://dblp.uni-trier.de/db/journals/sttt/sttt20.html#MazzantiFS18 %V 20

@article{journals/sttt/MazzantiFS18, added-at = {2024-05-07T00:00:00.000+0200}, author = {Mazzanti, Franco and Ferrari, Alessio and Spagnolo, Giorgio Oronzo}, biburl = {https://www.bibsonomy.org/bibtex/208aefa95f264d24646df1ec02650a858/dblp}, ee = {https://doi.org/10.1007/s10009-018-0488-3}, interhash = {70bbc8e77b92341f34822c2e832c1498}, intrahash = {08aefa95f264d24646df1ec02650a858}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {263-288}, timestamp = {2024-05-13T07:28:41.000+0200}, title = {Towards formal methods diversity in railways: an experience report with seven frameworks.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt20.html#MazzantiFS18}, volume = 20, year = 2018 }