Search
ComputingReviews.com
Toward automatic verification of quantum programs
Ying M. Formal Aspects of Computing31(1):3-25,2019.Type:Article
Published By:
Springer-Verlag
Use your personal or institutional subscription to read the
fulltext of the article.
You can purchase an article without having a subscription.
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy