On the Verified-by-Construction Approach


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

Download

[img] PDF vbc.pdf - Other
Download (41kB)
Item Type: Article
Additional Information: Newsletter of the BCS Formal Aspects of Computing Science (FACS) Specialist Group
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 265110
Date :
Date Event
March 2006Published
Date Deposited: 24 Jan 2008 12:58
Last Modified: 17 Apr 2017 19:26
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/265110

Actions (login required)

View Item View Item