Y.:Statically Safe Program Generation with SafeGen (0)

by S S Huang, D Zook, Smaragdakis
Venue:116 [Jac06] [JBK06] [JK06] [Joh04] [Lam02