Jump to Navigation

Relating abstract interpretation with logic program verification

TitleRelating abstract interpretation with logic program verification
Publication TypeConference Paper
Year of Publication1997
AuthorsGallardo, M-del-M., P. Merino, and J. María Troya
Conference NameProc. International Workshop on Verification, Model Checking and Abstract Interpretation' 97, Universita´Ca´foscari di Venezia Report CS97-14
Date Publishedoct


Main menu 2

Biblio | by Dr. Radut