Sign in
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