Tran, Dinh Duong and Ogata, Kazuhiro  (2020) Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG.  In: International Conference on Software Engineering and Knowledge Engineering, July 9 to 19, 2020, Wyndham Pittsburgh University Center, Pittsburgh, USA.