2014 CAV award announcement.

Marta Kwiatkowska Moshe Y. Vardi Ahmed Bouajjani Thomas Ball

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

Keyphrases

invited talk
selected papers
computer society