Home›Books›Atsushi TogashiAtsushi TogashiNo biography available.Works (1)Formal description techniques and protocol specification, testing and verification1997