Nie jesteś zalogowany |
Prerun wystąpienia na SofSem 2010
- Prelegent(ci)
- Jędrzej Fulara i Krzysztof Jakubczyk
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 18 stycznia 2010 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Będzie o automatycznym generowaniu anotacji, naszym narzędziu
CodeStatistics i eksperymencie z pętlami for i decreases.
