You are not logged in |
Ku abstrakcyjnemu podejściu do weryfikacji bajtkodu Javy
- Speaker(s)
- Patryk Czarnik
- Affiliation
- Instytut Informatyki, Uniwersytet Warszawski
- Date
- Nov. 3, 2008, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
