TITLE     : Applications of formal methods, modeling, and testing strategies for safe software development
AUTHOR(S) : Fantechi A, Ferrari A, Gnesi S
TYPE      : Contribution to book
YEAR      : 2018
CODE      : 437167

*** DO NOT EDIT THIS FILE ***