Home › Authors › Tadanori Mizuno 👤 Tadanori Mizuno 2 books Books by Tadanori Mizuno Formal description techniques and protocol specification, testing and verification 1997 Protocol Test Systems 1995