Prerun wystąpienia na SofSem 2010

Speaker(s)

Jędrzej Fulara i Krzysztof Jakubczyk

Affiliation

Uniwersytet Warszawski

Date

Jan. 18, 2010, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Będzie o automatycznym generowaniu anotacji, naszym narzędziu CodeStatistics i eksperymencie z pętlami for i decreases.

---