You are not logged in | Log in

Oparte o dedukcję narzędzia sprawdzania poprawności kodu

Speaker(s)
Aleksy Schubert
Affiliation
Uniwersytet Warszawski
Date
Dec. 6, 2010, 10:15 a.m.
Room
room 4790
Seminar
Seminar Semantics, Logic, Verification and its Applications