Norio Shiratori · 2 obras en el catálogoObrasFormal description techniques and protocol specification, testing and verification1997Protocol Test Systems