Durica Nikolic, Fausto Spoto. Automaton-Based Array Initialization Analysis. In Adrian Horia Dediu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Volume 7183 of Lecture Notes in Computer Science, pages 420-432, Springer, 2012. [doi]
@inproceedings{NikolicS12-0, title = {Automaton-Based Array Initialization Analysis}, author = {Durica Nikolic and Fausto Spoto}, year = {2012}, doi = {10.1007/978-3-642-28332-1_36}, url = {http://dx.doi.org/10.1007/978-3-642-28332-1_36}, researchr = {https://researchr.org/publication/NikolicS12-0}, cites = {0}, citedby = {0}, pages = {420-432}, booktitle = {Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings}, editor = {Adrian Horia Dediu and Carlos Martín-Vide}, volume = {7183}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-28331-4}, }