TITLE     : Formal Methods: applying {logics in, theoretical} computer science
AUTHOR(S) : Latella D
TYPE      : Contribution to book
YEAR      : 2013
CODE      : 207620

*** DO NOT EDIT THIS FILE ***