ISBN: 9783642182747 - verification, model checking, and abstract interpretation: 12th international conference, vmcai 2011, austin, tx, usa, january 23-25, 2011 proceedings ... notes in computer science, 6538, band 6538) (1 Ergebnisse)