Kuniwak @orga_chem
Formal Methods Learner (2019-), Software Engineer in Test (2018-), iOS/Web app developer, Git Challenge Problem Author (-2018), Nature ambassador. /kɯɲiːwʌk/
-
「形式手法を使って、 発見しにくいバグを一網打尽にしよう」の反響
5201pv 17 24 users