• Sign in
  • Sign up
conf.researchr.org / Minh-Thai Trinh
  • SPLASH 2020 profile

Not registered as user yet

Name: Minh-Thai Trinh

Affiliation: Advanced Digital Sciences Center

Contributions

SPLASH 2020 Author of Inter-theory Dependency Analysis for SMT String Solvers within the OOPSLA-track
Author of Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic within the OOPSLA-track
Author of Inter-Theory Dependency Analysis for SMT String Solvers within the OOPSLA Artifacts-track

Share
xWed 3 Mar 09:44
using conf.researchr.org (v1.43.1)
Support page
Sign Up