2011 CAV award announcement.

Moshe Y. Vardi Thomas A. Henzinger Rajeev Alur Marta Z. Kwiatkowska

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

invited talk
selected papers
databases
computer society