Proofs from Tests

by Nels E. Beckman , Aditya V. Nori , Sriram K. Rajamani , Robert J. Simmons , SaiDeep Tetali , Aditya V. Thakur
Citations:35 - 4 self