TITLE     : Automated verification of programs and Web systems
AUTHOR(S) : Ter Beek M.  H., Lisitsa A., Nemytykh A.  P., Ravara A.
TYPE      : Journal article
YEAR      : 2016
CODE      : 357989

*** DO NOT EDIT THIS FILE ***