Diaconescu Razvan | School of Information Science, Japan Advanced Institute of Science and Te

スポンサーリンク

概要

• Diaconescu Razvanの詳細を見る
• 同名の論文著者
• School of Information Science, Japan Advanced Institute of Science and Teの論文著者

関連著者

• Diaconescu Razvan

  School of Information Science, Japan Advanced Institute of Science and Te

• Diaconescu Razvan

  School Of Information Science Japan Advanced Institute Of Science And Te

著作論文

• Component-based algebraic specification and verification in CafeOBJ

スポンサーリンク