受賞

2017年4月

The EASST Award for the Best ETAPS Paper Related to the Systematic and Rigorous Engineering of Software and Systems.

European Association for Software Science and Technology
  • Arthur Blot
  • ,
  • Masaki Yamamoto
  • ,
  • Tachio Terauchi

タイトル
Nominee