Group principals and the formalization of anonymity
収録刊行物
-
- Proc. of the World Congress on Formal Methods in the Development of Computing Systems, 1999
-
Proc. of the World Congress on Formal Methods in the Development of Computing Systems, 1999 0 814-833, 1999