@article{BGS+10,
title = {2009 CAV award announcement },
author = {Bryant, Randal E. and Grumberg, Orna and Sifakis, Joseph and Vardi, Moshe Y.},
year = {2010},
journal = {Formal Methods in System Design},
number = {3},
pages = {195-197},
volume = {36},
team = {DCS},
}
