You are not logged in |
A Parametric Segmentation Functor for Fully Automatic and Scalable Array Content Analysis
- Speaker(s)
- Jędrzej Fulara
- Affiliation
- Uniwersytet Warszawski
- Date
- March 14, 2011, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
O pracy Cousot, Cousot, Logozzo z POPL2011 o takim tytule.
