A. Paskevich
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Why3 — Where Programs Meet Provers
J.-C. Filliâtre and others (2013) · Springer Berlin Heidelberg
On Correctness of Mathematical Texts from a Logical and Practical Point of View
K. Verchinine and others (2008) · Springer Berlin Heidelberg
Theorem Proving and Proof Verification in the System SAD
A. Lyaletski and others (2004) · Springer Berlin Heidelberg