この資料をSMS送信: FM 2012: formal methods