Formal Verification of Programs in the Pifagor Language.

Mariya S. Kropacheva, Alexander I. Legalov

Browse the full PACT paper archive.