تصنيف:Formal methods
 | يجب أن تُنقل صفحات هذا التصنيف إلى تصنيف:طرق شكلية (إن كان هذا التصنيف مضمناً في قالب بحيث يضاف في الصفحات بصورة آلية فلن ينقلها البوت) |
هذا التصنيف لا يحتوي حالياً على أي صفحات أو ملفات.
| يجب أن تُنقل صفحات هذا التصنيف إلى تصنيف:طرق شكلية (إن كان هذا التصنيف مضمناً في قالب بحيث يضاف في الصفحات بصورة آلية فلن ينقلها البوت) |
هذا التصنيف لا يحتوي حالياً على أي صفحات أو ملفات.