TITLE     : X-by-construction: correctness meets probability
AUTHOR(S) : Ter Beek Mh, Cleophas L, Legay A, Schaefer I, Watson Bw
TYPE      : Conference article
YEAR      : 2020
CODE      : 434868

*** DO NOT EDIT THIS FILE ***