Sweeping in Abstract Interpretation

Speaker(s)

Krzysztof Jakubczyk

Affiliation

Uniwersytet Warszawski

Date

Nov. 7, 2011, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---