Generating customized verifiers for automatically generated code


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

Download

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

Actions (login required)

View Item View Item