Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
   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
 
     
     
 
Enter Text Shown in Picture:
   
To:  
Your Colleague's E-mail:
   
From:  
Your E-mail:
   
Subject: Reviews: How testing helps to diagnose proof failures
   
Message Body:
 
     
 
 
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