mgr Adrian Jaszczak

Publikacje

1. A. Jaszczak
   Formal verification of the correctness of chosen algorithms in Mizar
   Intelligent Computer Mathematics, 12th International Conference CICM, Jul 8-12, 2019, Prague, Czech Republic, (E. Brady, J. Davenport, W.M. Farmer, C. Kaliszczyk, A. Kohlhase, M. Kohlhase, D. Müller, K. Pąk, C.S. Coen Ed(s).), CEUR Workshop Proceedings vol. 2634, (publ. by) RWTH Aachen University, 2020, pp. 1-5.
2. A. Jaszczak
   General theory and tools for proving algorithms in nominative data systems
   Form. Math. 28 (2020), no. 4, 269-278.
   DOI: 10.2478/forma-2020-0024
3. A. Jaszczak
   Partial correctness of an algorithm computing Lucas sequences
   Form. Math. 28 (2020), no. 4, 279-288.
   DOI: 10.2478/forma-2020-0025