Combining Programming with TheoremProving, November 2004. Available at: http://www.cs.bu.edu/~hwxi/ATS/PAPER/CPwTP.ps.[2] C (2003)

by C CHEN, H
Venue:Cornell University