Home › Authors › Atsushi Togashi 👤 Atsushi Togashi 1 book Books by Atsushi Togashi Formal description techniques and protocol specification, testing and verification 1997