Takanori Ugai (ugai.takanori@gmail.com)
Japanese Page
Profile
Curriculum Vitae
My Interesting Research Themes
Formal Description Technique
Software Process
Parallel/Distributed Programming
Software Distribution and Maintenance
Published Papers
Misc
Z FAQ (Japanese)
RAISE FAQ (Japanese)
HOME of formal method (UK)
ugai.takanori@gmail.com