DMCA

Compositional Invariant Checking for Overlaid and Nested Linked Lists (2012)

by C. Enea , V. Saveluc , M. Sighireanu
Citations:4 - 1 self