TITLE     : On the industrial uptake of formal methods in the railway domain: a survey with stakeholders
AUTHOR(S) : Basile D, Ter Beek Mh, Fantechi A, Gnesi S, Mazzanti F, Piattino A, Trentini D, Ferrari A
TYPE      : Conference article
YEAR      : 2018
CODE      : 391586

*** DO NOT EDIT THIS FILE ***