Huisong Li - POPL 2017 (original) (raw)

POPL 2017 (series) / Huisong Li

• conf.research.org general profile

Not registered as user

Name:Huisong Li

Affiliation:INRIA/CNRS/ENS/PSL*

Contributions

2017

POPL

• Semantic-Directed Clumping of Disjunctive Abstract States

Show activities from other conferences

Share

POPL 2017-profile
View general profile