Santiago Núñez-Corrales -

Not registered as user yet

Name:Santiago Núñez-Corrales

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