Explaining Verification Conditions

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


[img] PDF
Download (421Kb)
Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 271134
Date Deposited: 19 May 2010 19:56
Last Modified: 27 Mar 2014 20:16
Further Information:Google Scholar
ISI Citation Count:1
URI: http://eprints.soton.ac.uk/id/eprint/271134

Actions (login required)

View Item View Item