DMCA

Applying Practical Formal Methods to the Specification and Analysis of Security Properties (2001)

by Constance Heitmeyer
Citations:22 - 0 self