You are not logged in |
Co ja robię tu?
- Speaker(s)
- Tadeusz Sznuk
- Affiliation
- Uniwersytet Warszawski
- Date
- Nov. 8, 2010, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
Opiszę projekt nowego BML-a. Na razie jest to tylko projekt projektu, więc nic konkretnego raczej nie powiem.
