TITLE     : Formal methods: practical applications and foundations
AUTHOR(S) : Ter Beek Mh, Mciver A
TYPE      : Journal article
YEAR      : 2021
CODE      : 455288

*** DO NOT EDIT THIS FILE ***