Formal verification of the correctness of chosen algorithms in Mizar. - Adrian Jaszczak (CICM Workshops, 2019)

Partial Correctness of a Power Algorithm. - Adrian Jaszczak (Formaliz. Math., 2019)

Partial Correctness of a Factorial Algorithm. - Adrian Jaszczak; Artur Kornilowicz (Formaliz. Math., 2019)

General Theory and Tools for Proving Algorithms in Nominative Data Systems. - Adrian Jaszczak (Formaliz. Math., 2020)

Partial Correctness of an Algorithm Computing Lucas Sequences. - Adrian Jaszczak (Formaliz. Math., 2020)