Certified programs and proofs: first international conference ; proceedings by CPP, Kending fromLecture Notes in Computer Science 0 Type: Book
Certified programs and proofs: first international conference, CPP 2011, Kenting… by Jouannaud, Jean-Pierre, CPP (Conference), Kʻen-ting, Taiwan), Shao, Zhong fromLecture Notes in Computer Science 0 Type: Book
Provable security: 5th international conference ; proceedings by ProvSec, Xi'an fromLecture Notes in Computer Science 0 Type: Book
Provable Security: 5th International Conference, ProvSec 2011, Xi'an… by Boyen, Xavier, ProvSec (5, 2011, Xi'an) fromLecture Notes in Computer Science 0 Type: Book
Probabilistic proof systems: a primer by Goldreich, Oded fromFoundations and trends in theoretical computer science 0 Type: Book
Provable and practical security: 14th international conference, ProvSec 2020, Sing… by ProvSec, Online fromLecture Notes in Computer Science 0 Type: Book
