Adrian Jaszczak

Orcid: 0000-0003-4899-4983

According to our database¹, Adrian Jaszczak authored at least 5 papers between 2019 and 2020.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2020

Partial Correctness of an Algorithm Computing Lucas Sequences.

[DOI]

Formaliz. Math., 2020

General Theory and Tools for Proving Algorithms in Nominative Data Systems.

[DOI]

Formaliz. Math., 2020

2019

Partial Correctness of a Factorial Algorithm.

[DOI]

Formaliz. Math., 2019

Partial Correctness of a Power Algorithm.

[DOI]

Formaliz. Math., 2019

Formal verification of the correctness of chosen algorithms in Mizar.

[DOI]

Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019