janice-alison-knight documents

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