Verification and Testing Group, DCS, University of Sheffield Language based approach in biological modelling Marian Gheorghe University of Sheffield MIPNETS.
Verification and Testing Group, DCS, University of Sheffield