Statically Safe Program Generation with SafeGen (2009)

by Shan Shan Huang , David Zook , Yannis Smaragdakis
Citations:17 - 4 self