Publisher
Springer International Publishing
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Uniform Representation of Classical and Quantum Source Code for Static Code Analysis;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17
2. Automatic generation of test circuits for the verification of Quantum deterministic algorithms;Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering;2022-11-07
3. Transforming Quantum Programs in Kdm to Quantum Design Models in Uml;SSRN Electronic Journal;2022
4. Quantum Software Engineering and Technology;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2022
5. QRev: migrating quantum code towards hybrid information systems;Software Quality Journal;2021-10-29