QIn: Enabling Formal Methods to Deal with Quantum Circuits | IEEE Conference Publication | IEEE Xplore