Static Specification Mining Using Automata-Based Abstractions

דובר:
Eran Yahav
תאריך:
יום שלישי, 19.2.2008, 14:30
מקום:
חדר 337-8 טאוב.

בחזרה לאינדקס האירועים