"Datalog-based scalable semantic diffing of concurrent programs."

Chungha Sung et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics