Formal Veri of the Horn-Preneel Micropayment Protocol. In: Veri Model Checking and Abstract (2003)

by K frm-eOgata, K Futatsugi
Venue:Interpretation, ProCafeOBJ: Logical Foundations and Methodologies 1025 ceedings of the 4th International Conference, VMCAI 2003, LNCS 2575