G. A. Kavvos - Publications, H-index & Citations | 科言猫

未登录

返回

G

G. A. Kavvos

university of bristol

8H指数

27论文数

197被引数

收录论文 1

发表时间

Noninterference Through Bisimulation 通过互模拟实现非干扰

TRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025

IF0

2026-01-01

0

PREAI

Tune, April; Yang, Wendy; Kavvos, G. A.

分享

收藏