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.

---