Panelist position statement: logic and models in computer science
Philos Trans A Math Phys Eng Sci
.
2005 Oct 15;363(1835):2397-9.
doi: 10.1098/rsta.2005.1654.
Author
Ursula Martin
1
Affiliation
1
Queen Mary University of London, UK. uhmm@dcs.qmul.ac.uk
PMID:
16188614
DOI:
10.1098/rsta.2005.1654
No abstract available
MeSH terms
Algorithms*
Logistic Models*
Mathematical Computing*
Numerical Analysis, Computer-Assisted*
Science / methods*
Software Validation
Software*