Nie jesteś zalogowany | Zaloguj się

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

Prelegent(ci)
Aleksy Schubert
Afiliacja
Uniwersytet Warszawski
Termin
6 grudnia 2010 10:15
Pokój
p. 4790
Seminarium
Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji