Verified trustworthy software systems (2017)
Attributed to:
Research Institute in Verified Trustworthy Software Systems (VeTSS)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1098/rsta.2015.0408
PubMed Identifier: 28871055
Publication URI: http://europepmc.org/abstract/MED/28871055
Type: Journal Article/Review
Parent Publication: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Issue: 2104
ISSN: 1364-503X