标题：    amp；amp；阿提特：通过符号执行技术消除不可行路径。路径的正确性和保存性证明   amp；amp；奥拉斯特：艾萨特   amp；amp；日期：2016   amp；amp；数字对象标识：10.1007/978-3-319-43144-4_3   amp；amp；体裁：帐簿项目   amp；amp；身份证件：6644735   amp；amp；isbn：{“类型”：“pbk”，“数字”：“978-3-319-43143-7”}；{“类型”：“电子书”，“数字”：“978-3-319-43144-4”}   amp；amp；碎片：36   sid：FIZ-Karlsruhe:zbMATH公司

× Entschuldigung公司：Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。
Bitte verwenden Sie das nachstehende Suchformular order die Karte，um Ihre Heimateinrichtung auszuwählen。