Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
ComputingReviews.com
  How testing helps to diagnose proof failures
Petiot G., Kosmatov N., Botella B., Giorgetti A., Julliand J.  Formal Aspects of Computing 30(6): 629-657, 2018. 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-2019 ThinkLoud, Inc.
Terms of Use
| Privacy Policy