Inproceedings,
Symbolic Execution Techniques Extended to Systems.
C. Gaston, M. Aiguier, D. Bahrami, and A. Lapitre.ICSEA, page 78-85. IEEE Computer Society, (2009)
Meta data
- BibTeX key
- conf/icsea/GastonABL09
- entry type
- inproceedings
- booktitle
- ICSEA
- year
- 2009
- pages
- 78-85
- publisher
- IEEE Computer Society
- crossref
- conf/icsea/2009
- ee
- https://doi.ieeecomputersociety.org/10.1109/ICSEA.2009.21
- isbn
- 978-0-7695-3777-1
- url
- http://dblp.uni-trier.de/db/conf/icsea/icsea2009.html#GastonABL09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icsea/GastonABL09
%A Gaston, Christophe
%A Aiguier, Marc
%A Bahrami, Diane
%A Lapitre, Arnault
%B ICSEA
%D 2009
%E Boness, Kenneth
%E Fernandes, João M.
%E Hall, Jon G.
%E Machado, Ricardo Jorge
%E Oberhauser, Roy
%I IEEE Computer Society
%K dblp
%P 78-85
%T Symbolic Execution Techniques Extended to Systems.
%U http://dblp.uni-trier.de/db/conf/icsea/icsea2009.html#GastonABL09
%@ 978-0-7695-3777-1
@inproceedings{conf/icsea/GastonABL09,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Gaston, Christophe and Aiguier, Marc and Bahrami, Diane and Lapitre, Arnault},
biburl = {https://www.bibsonomy.org/bibtex/2d62a4569fd2603d9f5c087912f8396f5/dblp},
booktitle = {ICSEA},
crossref = {conf/icsea/2009},
editor = {Boness, Kenneth and Fernandes, João M. and Hall, Jon G. and Machado, Ricardo Jorge and Oberhauser, Roy},
ee = {https://doi.ieeecomputersociety.org/10.1109/ICSEA.2009.21},
interhash = {5a28c1029bc41ed4b0b99c3ee04cdf81},
intrahash = {d62a4569fd2603d9f5c087912f8396f5},
isbn = {978-0-7695-3777-1},
keywords = {dblp},
pages = {78-85},
publisher = {IEEE Computer Society},
timestamp = {2024-04-09T12:15:02.000+0200},
title = {Symbolic Execution Techniques Extended to Systems.},
url = {http://dblp.uni-trier.de/db/conf/icsea/icsea2009.html#GastonABL09},
year = 2009
}