scientific article

zbMath1194.68206MaRDI QIDQ3497621

Cristian Armentano, Andrea Asperti

Publication date: 27 July 2009

Full work available at URL: http://jfr.cib.unibo.it/article/view/385

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Related Items

Sound symbolic execution via abstract interpretation and its application to security, The Matita Interactive Theorem Prover, About the Formalization of Some Results by Chebyshev in Number Theory, Classification of finite fields with applications, A String of Pearls: Proofs of Fermat's Little Theorem

Uses Software

• Matita