Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
ComputingReviews.com
  Toward automatic verification of quantum programs
Ying M.  Formal Aspects of Computing 31(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.
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2020 ThinkLoud, Inc.
Terms of Use
| Privacy Policy