"Using Dependence Graphs to Assist Verification and Testing of ..."

Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics