• Scholarly report

Introduction to batch verification

Citation

Ordal, K. (2013). Introduction to batch verification.