@Article{         2017arXiv170107842R,
  Author        = "{Radhakrishna}, A. and {Lewchenko}, N. V. and {Meier}, S. and {Mover}, S. and {Chaitanya Sripada}, K. and {Zufferey}, D. and {Chang}, B.-Y. E. and {{\v C}ern{\'y}}, P.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2017arXiv170107842R",
  ArchivePrefix = "arXiv",
  date-added    = "2018-03-31 09:02:14 +0000",
  date-modified = "2018-03-31 09:02:14 +0000",
  EPrint        = "1701.07842",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Logic in Computer Science, Computer Science - Learning, Computer Science - Programming Languages",
  Month         = "January",
  PrimaryClass  = "cs.LO",
  Title         = "{DroidStar: Callback Typestates for Android Classes}",
  Year          = "2017",
  File          = "1701.07842 (0) - a - a - l.pdf"
}

@Article{ 2017arXiv170107842R, Author = "{Radhakrishna}, A. and {Lewchenko}, N. V. and {Meier}, S. and {Mover}, S. and {Chaitanya Sripada}, K. and {Zufferey}, D. and {Chang}, B.-Y. E. and {{\v C}ern{\'y}}, P.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2017arXiv170107842R", ArchivePrefix = "arXiv", date-added = "2018-03-31 09:02:14 +0000", date-modified = "2018-03-31 09:02:14 +0000", EPrint = "1701.07842", Journal = "ArXiv e-prints", Keywords = "Computer Science - Logic in Computer Science, Computer Science - Learning, Computer Science - Programming Languages", Month = "January", PrimaryClass = "cs.LO", Title = "{DroidStar: Callback Typestates for Android Classes}", Year = "2017", File = "1701.07842 (0) - a - a - l.pdf" }