Seminarium Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji (SLIWOWICA)

Prelegent: Krzysztof Jakubczyk

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.