A Resource Estimation and Verification Workflow in Q# Special session paper.

Mathias Soeken, Mariia Mykhailova, Vadym Kliuchnikov, Christopher E. Granade, Alexander Vaschillo

Browse the full DATE paper archive.