Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bryant, R.E., Grumberg, O., Henzinger, T.A. et al. The 2008 CAV Award citation. Form Methods Syst Des 35, 4–5 (2009). https://doi.org/10.1007/s10703-009-0070-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10703-009-0070-4