Article,
Static analysis: a brief survey.
I. García-Ferreira, C. Laorden, I. Santos, and P. Bringas.Log. J. IGPL, 24 (6): 871-882 (2016)
Meta data
- BibTeX key
- journals/igpl/Garcia-Ferreira16
- entry type
- article
- year
- 2016
- journal
- Log. J. IGPL
- number
- 6
- pages
- 871-882
- volume
- 24
- ee
- https://doi.org/10.1093/jigpal/jzw042
- url
- http://dblp.uni-trier.de/db/journals/igpl/igpl24.html#Garcia-Ferreira16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/igpl/Garcia-Ferreira16
%A García-Ferreira, Iván
%A Laorden, Carlos
%A Santos, Igor
%A Bringas, Pablo García
%D 2016
%J Log. J. IGPL
%K dblp
%N 6
%P 871-882
%T Static analysis: a brief survey.
%U http://dblp.uni-trier.de/db/journals/igpl/igpl24.html#Garcia-Ferreira16
%V 24
@article{journals/igpl/Garcia-Ferreira16,
added-at = {2022-01-03T00:00:00.000+0100},
author = {García-Ferreira, Iván and Laorden, Carlos and Santos, Igor and Bringas, Pablo García},
biburl = {https://www.bibsonomy.org/bibtex/2fdecdcb6d2eceff19de3715a3e73e7dc/dblp},
ee = {https://doi.org/10.1093/jigpal/jzw042},
interhash = {3e9a6de5b7a29172e33435f2b5519a0d},
intrahash = {fdecdcb6d2eceff19de3715a3e73e7dc},
journal = {Log. J. IGPL},
keywords = {dblp},
number = 6,
pages = {871-882},
timestamp = {2024-04-09T06:04:43.000+0200},
title = {Static analysis: a brief survey.},
url = {http://dblp.uni-trier.de/db/journals/igpl/igpl24.html#Garcia-Ferreira16},
volume = 24,
year = 2016
}