Nie jesteś zalogowany |
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.
