Faculdade de Planaltina, Universidade de Brasilia, Brasilia D.F., Brazil;
Institute de Matematica e Estatistica, Universidade Federal de Goias, Goiania, Brazil;
Unidade Academica Especial de Matematica e Tecnologia, Universidade Federal de Goias, Catalao, Brazil;
机译:PVS中环理论的形式化
机译:在PVS 6.0中形式化双代数语义
机译:PVS的形式化以证明Dolev-Yao级联协议模型的安全性所必需的平衡属性
机译:PVS中的正式环形理论
机译:社会学习,社会控制和压力理论:微观犯罪学理论的形式化
机译:通过形式化学版理论促进复杂性科学与临床实践之间的差距:功能分析的计算模型
机译:一种验证pVs自动机稳定性和收敛性的形式化理论
机译:pVs中浮点数的高级形式化