Establishing Behavioral Compatibility of Software Components without State Explosion

Paul~C. Attie, David H. Lorenz

نتاج البحث: ورقة عمل / طبعة اوليةورقة عمل

اللغة الأصليةالإنجليزيّة
مكان النشرBoston, MA 02115
حالة النشرنُشِر - 1 مارس 2003

قم بذكر هذا