Explaining Verification Conditions

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

Record type: Conference or Workshop Item (Paper)

Text

51400145.pdf - Other

Download (431kB)

More information

Published date: 2008

Venue - Dates: AMAST, 2008-01-01

Organisations: Electronic & Software Systems

Local EPrints ID: 271134

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

PURE UUID: 3ac36b08-b9d1-4d31-826e-7abc60763e2b

Date deposited: 19 May 2010 19:56

Last modified: 14 Mar 2024 09:23

Author: Ewen Denney

Author: Bernd Fischer

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.