Working Group Provably Correct Systems

この著者を外部サイトでさがす

• VIAF
• KAKEN — 研究者をさがす
• J-GLOBAL
• researchmap
• Google Scholar
• Google
• Yahoo! JAPAN

関連著者

• Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Langmaack, Hans
• Roever, W.-P. de
• Vytopil, J.