TITLE     : Critical systems: formal methods and automated verification
AUTHOR(S) : Ter Beek M H, Gnesi S, Knapp A, Eds
TYPE      : Book
YEAR      : 2016
CODE      : 359248

*** DO NOT EDIT THIS FILE ***