![](/img/cover-not-exists.png)
Abstract interpretation based verification of logic programs
Marco Comini, Roberta Gori, Giorgio Levi, Paolo VolpeVolume:
49
Year:
2003
Language:
english
Pages:
35
DOI:
10.1016/j.scico.2003.08.002
File:
PDF, 400 KB
english, 2003