MoL-2012-15: Kyndylan Nienhuis Automatic Verication of Programs with Indirection 1.Full Text, 2.Abstract. < Back
