Nie jesteś zalogowany |
New rewriting features of Coq
- Prelegent(ci)
- Daria Walukiewicz-Chrząszcz, Jacek Chrząszcz
- Afiliacja
- MIMUW
- Język referatu
- angielski
- Termin
- 23 maja 2025 12:15
- Pokój
- p. 5450
- Tytuł w języku polskim
- Nowe możliwości przepisywania w Coq-u
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
