Nie jesteś zalogowany | Zaloguj się

Prelegent(ci): Patryk Czarnik
Afiliacja: Instytut Informatyki, Uniwersytet Warszawski
Termin: 3 listopada 2008 10:15
Pokój: p. 4790
Seminarium: Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

Ku abstrakcyjnemu podejściu do weryfikacji bajtkodu Javy