Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Patryk Czarnik
2018
- Patryk Czarnik, Jacek Chrząszcz i Aleksy Andrzej Schubert, A Java Bytecode Formalisation, w: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Springer, 2018.zobacz w PBN