Not registered as user yet

Name:Minh Ngo
Country:United States
Affiliation:Stevens Institute of Technology

Contributions

POPL 2023 Author of An Algebra of Alignment for Relational Verification within the POPL-track