Generating and using examples in the proving process (vol 83, pg 323, 2013)

Bibliographic Details
Main Authors: Sandefur, J, Mason, J, Stylianides, G, Watson, A
Format: Journal article
Published: 2013