Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio. Applying Predicate Abstraction to Abstract State Machines. In Khaled Gaaloul, Rainer Schmidt, Selmin Nurcan, Sérgio Guerreiro, Qin Ma 0002, editors, Enterprise, Business-Process and Information Systems Modeling - 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings. Volume 214 of Lecture Notes in Business Information Processing, pages 283-292, Springer, 2015. [doi]
Abstract is missing.