Quantification of integrity (0)

by Michael R Clarkson, Fred B Schneider
Venue:Mathematical Structures in Computer Science