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