A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis

Prelegent(ci)

Jędrzej Fulara

Afiliacja

Uniwersytet Warszawski

Termin

14 marca 2011 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

O pracy Cousot, Cousot, Logozzo z POPL2011 o takim tytule.

---