Formal Methods in Macro-Biologyde François Fages, Carla PiazzaMateriasBioinformaticsMedical informaticsComputer scienceMedical recordsData processingLogic designComputational Biology/BioinformaticsLogics and Meanings of ProgramsMathematical Logic and Formal Languages
PProceedings of the 9th International Conference on ComputatiProceedings of the 9th International Conference on Computational Methods in Systems Biology