56 search results - page 12 / 12 » A Declarative Language for the Coq Proof Assistant |
BMCBI
2010
13 years 4 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...