Alessandro Maria Rizzi. Incremental reachability checking of KernelC programs using matching logic. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 724-726, ACM, 2014. [doi]
Abstract is missing.