Verified trustworthy software systems
File(s)Gardner2017Verified.pdf (49.07 KB)
Accepted version
Author(s)
Gardner, Philippa
Type
Journal Article
Date Issued
2017-10-13
Date Acceptance
2017-08-07
Citation
Philosophical Transactions of the Royal Society A. Mathematical, Physical and Engineering Sciences, 2017, 375
ISSN
1364-503X
Publisher
Royal Society, The
Journal / Book Title
Philosophical Transactions of the Royal Society A. Mathematical, Physical and Engineering Sciences
Volume
375
Copyright Statement
© 2017 The Author(s)
Published by the Royal Society. All rights reserved
Published by the Royal Society. All rights reserved
Sponsor
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Grant Number
EP/K008528/1
EP/K008528/1
EP/P021921/1
Subjects
Science & Technology
Multidisciplinary Sciences
Science & Technology - Other Topics
software analysis
testing and verification
Publication Status
Published
Article Number
20150408