机构:
Univ Massachusetts, Amherst, MA 01003 USA
Microsoft Res, Redmond, WA 98052 USA
Northeastern Univ, Khoury Coll Comp Sci, 440 Huntington Ave, Boston, MA 02115 USAUniv Massachusetts, Amherst, MA 01003 USA
Berger, Emery D.
Hollenbeck, Celeste
论文数: 0引用数: 0
h-index: 0
机构:
Northeastern Univ, Khoury Coll Comp Sci, 440 Huntington Ave, Boston, MA 02115 USAUniv Massachusetts, Amherst, MA 01003 USA
Hollenbeck, Celeste
Maj, Petr
论文数: 0引用数: 0
h-index: 0
机构:
Northeastern Univ, Khoury Coll Comp Sci, 440 Huntington Ave, Boston, MA 02115 USA
Czech Tech Univ, Prague, Czech RepublicUniv Massachusetts, Amherst, MA 01003 USA
Maj, Petr
Vitek, Olga
论文数: 0引用数: 0
h-index: 0
机构:
Northeastern Univ, Khoury Coll Comp Sci, 440 Huntington Ave, Boston, MA 02115 USAUniv Massachusetts, Amherst, MA 01003 USA
Vitek, Olga
Vitek, Jan
论文数: 0引用数: 0
h-index: 0
机构:
Northeastern Univ, Khoury Coll Comp Sci, 440 Huntington Ave, Boston, MA 02115 USA
Czech Tech Univ, Prague, Czech RepublicUniv Massachusetts, Amherst, MA 01003 USA
Vitek, Jan
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
2019,
41
(04):
机构:
Peking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R China
UCL, London WC1E 6BT, EnglandPeking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R China
Zhang, Jie M.
Li, Feng
论文数: 0引用数: 0
h-index: 0
机构:
Peking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R ChinaPeking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R China
Li, Feng
Hao, Dan
论文数: 0引用数: 0
h-index: 0
机构:
Peking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R ChinaPeking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R China
Hao, Dan
Wang, Meng
论文数: 0引用数: 0
h-index: 0
机构:
Univ Bristol, Dept Comp Sci, Bristol BS8 1TH, Avon, EnglandPeking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R China
Wang, Meng
Tang, Hao
论文数: 0引用数: 0
h-index: 0
机构:
Peking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R ChinaPeking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R China
Tang, Hao
Zhang, Lu
论文数: 0引用数: 0
h-index: 0
机构:
Peking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R ChinaPeking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R China
Zhang, Lu
Harman, Mark
论文数: 0引用数: 0
h-index: 0
机构:
UCL, London WC1E 6BT, England
Facebook London, London W1T 1FB, EnglandPeking Univ, Key Lab High Confidence Software Technol, MoE, Haidian 100871, Peoples R China
机构:
SW Missouri State Univ, Dept Comp Informat Syst, Springfield, MO 65802 USASW Missouri State Univ, Dept Comp Informat Syst, Springfield, MO 65802 USA
Dattero, R
Galup, SD
论文数: 0引用数: 0
h-index: 0
机构:SW Missouri State Univ, Dept Comp Informat Syst, Springfield, MO 65802 USA