Adrian Jaszczak

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.

[BibT_eX]

[DOI]

Formaliz. Math., 2020

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

[BibT_eX]

[DOI]

Formaliz. Math., 2020

2019

Partial Correctness of a Factorial Algorithm.

[BibT_eX]

[DOI]

Formaliz. Math., 2019

Partial Correctness of a Power Algorithm.

[BibT_eX]

[DOI]

Formaliz. Math., 2019

Formal verification of the correctness of chosen algorithms in Mizar.

[BibT_eX]

[DOI]

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