You are not logged in |
HAHA
- Speaker(s)
- Tadeusz Sznuk
- Affiliation
- Uniwersytet Warszawski
- Date
- March 19, 2012, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
Zamierzam powiedzieć mniej więcej to samo, co poprzednio, czyli do czego to narzędzie ma służyć i jak ma działać. Z tą różnicą, że zamiast slajdów będę się posługiwał prototypem implementacji.
