Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi. Trace anonymity in the OTS/CafeOBJ method. In Qiang Wu, Xiangjian He, Quang Vinh Nguyen, Wenjing Jia, Mao Lin Huang, editors, Proceedings of 8th IEEE International Conference on Computer and Information Technology, CIT 2008, Sydney, Australia, July 8-11, 2008. pages 754-759, IEEE, 2008. [doi]
Abstract is missing.