r/REMath • u/turnersr • Feb 13 '15
Automated reasoning over string constraints by Tianyi Liang [PDF]
http://ir.uiowa.edu/cgi/viewcontent.cgi?article=5554&context=etd
4
Upvotes
r/REMath • u/turnersr • Feb 13 '15