مهرشاد حقیقی نژاد·۵ سال پیشآزمون نرم افزار با استفاده از Frama-cدر این مطلب آموزش کار با نرم افزار Frama-c توضیح داده شده است.
