DMCA

System Description, Abstraction, and Verification: A Uniform Treatment of Quality and Quantity (1999)

by Michael Huth