Mikolás Janota Radu Grigore Michal Moskal Reachability analysis for annotated code. 23-30 2007 SAVCBS http://doi.acm.org/10.1145/1292316.1292319 conf/sigsoft/2007savcbs db/conf/sigsoft/savcbs2007.html#JanotaGM07