TITLE     : ASTRail - Survey on formal methods and tools in railways technical report on the activities performed within ASTRail, Deliverable D4.1
AUTHOR(S) : Ferrari A, Ter Beek Mh, Mazzanti F, Basile D, Fantechi A, Gnesi S, Piattino A, Sturani B, Trentini D
TYPE      : Other
YEAR      : 2018
CODE      : 396822

*** DO NOT EDIT THIS FILE ***