title: Panelist position statement: logic and models in computer science.
authors.affiliation: Queen Mary University of London, UK. uhmm@dcs.qmul.ac.uk
authors.forename: Ursula
authors.initials: U
authors.lastname: Martin
mesh_terms: D000465:Algorithms; D016015:Logistic Models; D008432:Mathematical Computing; D009716:Numerical Analysis, Computer-Assisted; D012586:Science / Q000379:methods*; D012984:Software; D012986:Software Validation