Aligators for Arrays (Tool Paper).

Thomas A. Henzinger Thibaud Hottelier Laura Kovács Andrey Rybalchenko

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

universally quantified
artificial intelligence