Cristina David - Publications, H-index & Citations | 科言猫

未登录

返回

C

Cristina David

university of oxford

14H指数

68论文数

808被引数

收录论文 1

发表时间

Program synthesis: challenges and opportunities

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

IF3.7

2017-09-04

25

OAAI

David, Cristina; Kroening, Daniel

分享

收藏