On the Verified-by-Construction Approach

Butler, Michael (2006) On the Verified-by-Construction Approach. FACS FACTS.

Record type: Article

Text

vbc.pdf - Other

Download (41kB)

More information

Published date: March 2006

Additional Information: Newsletter of the BCS Formal Aspects of Computing Science (FACS) Specialist Group

Related URLs:

Organisations: Electronic & Software Systems

Local EPrints ID: 265110

URI: http://eprints.soton.ac.uk/id/eprint/265110

PURE UUID: b70e2899-0a2d-45f2-a903-16e16036de16

ORCID for Michael Butler:

orcid.org/0000-0003-4642-5373

Date deposited: 24 Jan 2008 12:58

Last modified: 15 Mar 2024 02:50

Author: Michael Butler

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.