A Resource Estimation and Verification Workflow in Q# Special session paper | IEEE Conference Publication | IEEE Xplore