Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)
Dhungana, Deepak · Tang, Ching Hoo · Weidenbach, Christoph · Wischnewski, Patrick
الأصل · EN
Additional material for the original paper "Automated Verification of Interactive Rule-Based Configuration Systems".
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.