TITLE     : Science of Computer Programming. Special issue on formal methods for industrial critical systems
AUTHOR(S) : Quellar J, Gnesi S, Latella D
TYPE      : Book
YEAR      : 2000
CODE      : 190097

*** DO NOT EDIT THIS FILE ***