DMCA

Computationally sound verification of source code (2010)

by Michael Backes , Matteo Maffei , Dominique Unruh
Citations:22 - 7 self