Author:
German Steven M.,Wegbreit Ben
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper);Lecture Notes in Computer Science;2021
2. Sound C Code Decompilation for a Subset of x86-64 Binaries;Software Engineering and Formal Methods;2020
3. Invariants of quantum programs: characterisations and generation;ACM SIGPLAN Notices;2017-05-11
4. Invariants of quantum programs: characterisations and generation;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01
5. DIG;ACM Transactions on Software Engineering and Methodology;2014-09-05