Formal Proof of Theorems on Genetic Regulatory Networks.

Maxime Dns, Benjamin Lesage, Yves Bertot, Adrien Richard

Browse the full SYNASC paper archive.