APA (7th ed.) Citation

Sutcliffe, G., Blanqui, F., & Burel, G. Proof Verification with GDV and LambdaPi - It's a Matter of Trust. LibraryPress@UF.

Chicago Style (17th ed.) Citation

Sutcliffe, Geoff, Frédéric Blanqui, and Guillaume Burel. Proof Verification with GDV and LambdaPi - It's a Matter of Trust. LibraryPress@UF.

MLA (9th ed.) Citation

Sutcliffe, Geoff, et al. Proof Verification with GDV and LambdaPi - It's a Matter of Trust. LibraryPress@UF.