Publications
Filter by
Open menu
1 result for
Christoph Sprenger
Cryptographically sound theorem proving
Christoph Sprenger
David Basin
et al.
2006
CSF 2006