DMCA

Formal verification of . . . (2013)

by Andrei Popescu , Tobias Nipkow, et al.