%0 Journal Article %1 journals/corr/RadhakrishnaLMM17 %A Radhakrishna, Arjun %A Lewchenko, Nicholas V. %A Meier, Shawn %A Mover, Sergio %A Sripada, Krishna Chaitanya %A Zufferey, Damien %A Chang, Bor-Yuh Evan %A Cerný, Pavol %D 2017 %J CoRR %K %T Learning Asynchronous Typestates for Android Classes. %U http://dblp.uni-trier.de/db/journals/corr/corr1701.html#RadhakrishnaLMM17 %V abs/1701.07842

@article{journals/corr/RadhakrishnaLMM17, added-at = {2023-12-12T17:31:17.000+0100}, author = {Radhakrishna, Arjun and Lewchenko, Nicholas V. and Meier, Shawn and Mover, Sergio and Sripada, Krishna Chaitanya and Zufferey, Damien and Chang, Bor-Yuh Evan and Cerný, Pavol}, biburl = {https://www.bibsonomy.org/bibtex/2bae144d22eaf971d8992f98f4550f5a4/admin}, ee = {http://arxiv.org/abs/1701.07842}, interhash = {04e3b272d9ec22116506aaa9ec876aee}, intrahash = {bae144d22eaf971d8992f98f4550f5a4}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T17:31:17.000+0100}, title = {Learning Asynchronous Typestates for Android Classes.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1701.html#RadhakrishnaLMM17}, volume = {abs/1701.07842}, year = 2017 }