DMCA

an efficient verification condition (2010)

by Frédéric Vogels , Bart Jacobs , Frank Piessens , Frédéric Vogels , Bart Jacobs , Frank Piessens