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

Misc

• Z FAQ (Japanese)
• RAISE FAQ (Japanese)
• HOME of formal method (UK)