形式手法を用いた、Push通知の仕様検証 形式手法に基づく Alloy Analyzer を用いた、Push通知の仕様記述と検証 もっと読む › Authoryumemiinc Published on19 4月 2013 CategoriesALL, エンジニア, 勉強会, 携帯/モバイル Tags alloy, Push通知, 形式手法