Generating customized verifiers for automatically generated code

Denney, Ewen and Fischer, Bernd (2008) Generating customized verifiers for automatically generated code. GPCE. pp. 77-88 .

Record type: Conference or Workshop Item (Paper)

Text

gpce09-denney.pdf - Other

Download (180kB)

More information

Published date: 2008

Venue - Dates: GPCE, 2008-01-01

Organisations: Electronic & Software Systems

Local EPrints ID: 271136

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

PURE UUID: f12a5ec0-c59c-4967-85e3-3114f74dee75

Date deposited: 20 May 2010 09:05

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.