勉強会：【マルレク】 AWSでの形式手法の利用

【マルレク】 AWSでの形式手法の利用

■ 日時：2020/4/30　20:00ｰ22:00

■ 感想

　→　 　　　

■ 開催・資料

aws-formal-methods.peatix.com

• Web 開催：
  　→　Web開催： YouTubeライブリスト
  　　　マルレク 「AWSでの形式手法の利用」 - YouTube

• 講演資料

www.marulabo.net

---

（セミナ・メモ）