You are not logged in |
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.
