TITLE     : Towards formal methods diversity in railways: an experience report with seven frameworks
AUTHOR(S) : Mazzanti F, Ferrari A, Spagnolo Go
TYPE      : Journal article
YEAR      : 2018
CODE      : 387384

*** DO NOT EDIT THIS FILE ***