Testing Proofs by Examples (1998)

by S Hayashi, R Sumitomo
Venue:in Advances in Computing Science, Asian '98 : 4th Asian Computing Science Conference, Manila, the Philippines