ソフトウェア技術者協会が主催する形式手法に関するワークショップの講師としてAdaCoreが来日して登壇いたします。