2019年7月3日 イベントソフトウェア技術者協会が主催する形式手法に関するワークショップの講師としてAdaCoreが来日して登壇いたします。 2019年8月7日(水)8日(木)に開催されますソフトウェア技術者協会が主催する形式手法に関するワークショップの講師として、AdaCoreが来日して登壇いたします。