TITLE     : Deductive proof of software properties
AUTHOR(S) : Asirelli P, Mazzanti F
TYPE      : Journal article
YEAR      : 1999
CODE      : 407778

*** DO NOT EDIT THIS FILE ***