Establishing Behavioral Compatibility of Software Components without State Explosion

Paul~C. Attie, David H. Lorenz

פרסום מחקרי: נייר עבודה / גרסה מוקדמתנייר עבודה

שפה מקוריתאנגלית
מקום הפרסוםBoston, MA 02115
סטטוס פרסוםפורסם - 1 מרץ 2003

פורמט ציטוט ביבליוגרפי