Education in formal methods for software engineering

اگر داخل ایران هستید و از فیلترشکن استفاده می‌کنید لطفافیلترشکن خود را خاموش کنید چرا که مقالات فقط از آی پی ایران در دسترس هستند.‏

اشکالی در نتیجه دانلود مقاله پیش آمده است.‏