verification, model checking, and abstract interpretation,10th international conference, vmcai 2009, savannah, ga, usa, january 18-20, 2009, proceedings

neil d. (edt) jones · springer verlag