Static analysis: A brief survey
- Garcia-Ferreira, I.
- Laorden, C.
- Santos, I.
- Bringas, P.G.
ISSN: 1368-9894, 1367-0751
Année de publication: 2016
Volumen: 24
Número: 6
Pages: 871-882
Type: Article
Revue:
Logic Journal of the IGPL
