Nie jesteś zalogowany |
Sweeping in Abstract Interpretation
- Prelegent(ci)
- Krzysztof Jakubczyk
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 7 listopada 2011 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Tym razem opowiem o swojej pracy którą prezentowałem na workshopie NSAD
2011 - "Sweeping in Abstract Interpretation", swoich wrażeniach oraz
innych pracach które były tam prezentowane.
