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.

---