Gadelha, Mikhail R., Morse, Jeremy, Cordeiro, Lucas and Nicole, Denis (2018) Using clang as a frontend on a formal verification tool. 2018 European LLVM Developers Meeting, , Bristol, United Kingdom. 16 - 17 Apr 2018.
Record type:
Conference or Workshop Item
(Poster)
More information
Published date: 28 April 2018
Venue - Dates:
2018 European LLVM Developers Meeting, , Bristol, United Kingdom, 2018-04-16 - 2018-04-17
Identifiers
Local EPrints ID: 433285
URI: http://eprints.soton.ac.uk/id/eprint/433285
PURE UUID: a0fe67d4-a1ee-48a8-b9fa-e263b8a78154
Catalogue record
Date deposited: 13 Aug 2019 16:30
Last modified: 16 Mar 2024 03:29
Export record
Contributors
Author:
Mikhail R. Gadelha
Author:
Jeremy Morse
Author:
Lucas Cordeiro
Author:
Denis Nicole
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.