Oparte o dedukcję narzędzia sprawdzania poprawności kodu
- Speaker(s)
- Aleksy Schubert
- Affiliation
- Uniwersytet Warszawski
- Date
- Dec. 6, 2010, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
You are not logged in |
Log in
|
