Explaining Verification Conditions


Denney, Ewen and Fischer, Bernd (2008) Explaining Verification Conditions At AMAST. , pp. 145-159.

Download

[img] PDF 51400145.pdf - Other
Download (431kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: AMAST, 2008-01-01
Organisations: Electronic & Software Systems
ePrint ID: 271134
Date :
Date Event
2008Published
Date Deposited: 19 May 2010 19:56
Last Modified: 17 Apr 2017 18:21
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271134

Actions (login required)

View Item View Item