TITLE     : Formal Methods in railways: a systematic mapping study
AUTHOR(S) : Ferrari A, Ter Beek Mh
TYPE      : Journal article
YEAR      : 2022
CODE      : 464872

*** DO NOT EDIT THIS FILE ***