TITLE     : Correctness-by-construction and post-hoc verification: friends or foes?
AUTHOR(S) : Ter Beek M H, Hähnle R, Schaefer I
TYPE      : Conference article
YEAR      : 2016
CODE      : 359179

*** DO NOT EDIT THIS FILE ***