mgr Adrian Jaszczak
Konferencje
-
A. Jaszczak
Formal verification of the correctness of chosen algorithms in Mizar
12th International Conference on Intelligent Computer Mathematics, Prague, Czech Republic, Jul 8-12, 2019
Czech Institute of Informatics, Robotics, and Cybernetics of Czech Technical University in Prague (org.)
- * Presentation
- ¹ A chairman of a session
- ² A member of the Organizing Committee
- ³ Student