Guilherme Horta Alvares da Silva - Publications & Citations | 科言猫

未登录

返回

G

Guilherme Horta Alvares da Silva

chalmers university of technology

0H指数

1论文数

0被引数

收录论文 1

发表时间

Axiomatisation of Solidity Memory and Storage Solidity内存和存储的公理化

SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025

IF0

2026-01-01

0

PREAI

da Silva, Guilherme Horta Alvares; Ahrendt, Wolfgang; Bubel, Richard

分享

收藏