Partial Correctness of an Algorithm Computing Lucas Sequences
Jaszczak, Adrian
General Theory and Tools for Proving Algorithms in Nominative Data Systems
Jaszczak, Adrian
Partial Correctness of a Power Algorithm
Jaszczak, Adrian
Partial Correctness of a Factorial Algorithm
Jaszczak, Adrian, Korniłowicz, Artur