Boosting Software Verification with Compiler Optimizations

Thumbnail
View/Open
Metadata
Show full item record
URI
http://hdl.handle.net/10890/15217
Collections
Title
Boosting Software Verification with Compiler Optimizations
Author
Sallai, Gyula
Tóth, Tamás
Date of issue
2017
Access level
Open access
Copyright owner
Budapest University of Technology and Economics
Conference title
24th PhD Mini-Symposium (Minisy@DMIS 2017)
Conference place
Budapest
Conference date
January 30-31, 2017
Language
en
Page
66 - 69
Version
Post print
Title of the container document
Proceedings of the 24th PhD Mini-Symposium
ISBN, e-ISBN
ISBN 978-963-313-243-2
Document type
könyvfejezet
Document genre
Konferenciacikk
University
Budapest University of Technology and Economics
Department
Department of Measurement and Information Systems