A suite of abstract domains for static analysis of string values

Gespeichert in:

Bibliographische Detailangaben

Zeitschriftentitel:	Software: Practice and Experience
Personen und Körperschaften:	Costantini, Giulia, Ferrara, Pietro, Cortesi, Agostino
In:	Software: Practice and Experience, 45, 2015, 2, S. 245-287
Medientyp:	E-Article
Sprache:	Englisch
veröffentlicht:	Wiley
Schlagwörter:	Software