Effective deductive verification of safety of distributed protocols in unbounded systems

דובר:
Mooly Sagiv - COLLOQUIUM LECTURE
תאריך:
יום שלישי, 20.6.2017, 14:30
מקום:
חדר 337 טאוב.
השתייכות:
Tel-Aviv University, School of Computer Science
מארח:
Yuval Filmus

T B A

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