لاحظت شيئًا خاطئًا أو قديمًا؟ أخبرنا وسنراجعه.
بخصوص هذه الفرصة: 24th ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)
