Program verification via iterated specialization.

Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: Sci. Comput. Program. (2014)

Keyphrases

artificial intelligence
database
search algorithm