Specification and proof of the mondex electronic purse
収録刊行物
-
- Proc. 1st Asian Working Conference on Verified Software (AWCVS 2006)
-
Proc. 1st Asian Working Conference on Verified Software (AWCVS 2006) 209-224, 2006