You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw

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.

Careers

Website

© 2024 University of Warsaw. All rights reserved.