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
Nie jesteś zalogowany |
Zaloguj się
|
