形式手法を使って、発見しにくいバグを一網打尽にしよう - builderscon tokyo 2019

Discover Something New - builderscon is a festival for those who love tech!