豪尔赫·纳瓦斯 0003
人员信息
附属: Certora公司 隶属关系(前): 美国加利福尼亚州门罗公园SRI国际
其他同名人员
豪尔赫·纳瓦斯 0001 -西班牙巴塞罗那大学 豪尔赫·纳瓦斯 0002 -西班牙马德里胡安·卡洛斯国王大学计算机系
其他同名人员
豪尔赫·纳瓦斯 — 美国加利福尼亚州门罗公园SRI国际 (还有2个以上)
优化列表
2020年–今天
2022 [i1] 纳塔拉詹·尚卡尔 , 德韦什·巴特 , 迈克尔·D·恩斯特 , 金敏英(Minyoung Kim) , 斯利瓦桑·瓦拉达拉扬 , 苏珊·米尔斯坦 , 豪尔赫·纳瓦斯 , 杰森·比亚泰克 , 华斯卡·桑切斯 , 安妮莎·穆鲁根 , 郝仁 :
DesCert:认证设计。 CoRR公司 abs/2203.15178 ( 2022 )