Report - A Probabilistic Formalization of the Appraisal for the OCC ... · Av. Unisinos, 950 Bairro Cristo Rei CEP 93.022-000 S~ao Leopoldo, Brazil Abstract This article presents a logical

Please pass captcha verification before submit form