2018 CAV award.

Kim G. Larsen Natarajan Shankar Pierre Wolper Somesh Jha

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

Keyphrases

invited talk
selected papers
conference proceedings
database
information systems
recent advances