Dias, Fagner M. - Publications & Citations | 科言猫

未登录

返回

D

Dias, Fagner M.

Universidade Federal do Rio Grande do Norte

0H指数

1论文数

0被引数

收录论文 1

发表时间

Bridging the B-Method and ACSL: Towards Verified C Code 连接B-方法与ACSL：迈向验证C代码

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025

IF0

2026-01-01

0

PREAI

Dias, Fagner M.; Oliveira, Marcel V. M.; Lecomte, Thierry

分享

收藏