@inproceedings{NikolicSArray,
   Author = {Nikoli\'c, {\DH}urica and Spoto, Fausto},
   Title = {Automaton-Based Array Initialization Analysis},
   Booktitle = {Proceedings of the 6th International Conference on Language and Automata Theory and Applications (LATA'12)},
   Series = {Lecture Notes in Computer Science},
   Rditor = {Dediu, Adrian-Horia and Martín-Vide, Carlos},
   Publisher = {Springer Berlin / Heidelberg},
   Isbn = {978-3-642-28331-4},
   Keyword = {Computer Science},
   Pages = {420-432},
   Volume = {7183},
   Url = {http://dx.doi.org/10.1007/978-3-642-28332-1_36},
   Note = {10.1007/978-3-642-28332-1_36},
   Year = {2012}
}