DMCA

The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (2006)

by G. Schellhorn , H. Grandy , D. Haneberg , W. Reif
Citations:24 - 9 self