Bach Hoang -

Registered user since Mon 24 Jun 2024

Name:Bach Hoang

Affiliation:National Center for Supercomputing Applications, University of Illinois Urbana-Champaign

Contributions

2024

ARRAY

Author of The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum Computing within the ARRAY 2024-track