SPIRAL – Automating High Quality Software Production (2019) [pdf]users.ece.cmu.edu2 pointspeter_d_sherman3 years ago