Towards the animation of proofs–testing proofs by examples, Theoret (0)

by S Hayashi, R Sumitomo, K Shii
Venue:Comput. Sci