Partial completeness of abstract fixpoint checking

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 4th International Symposium on Abstraction, Reformulation and Approximation, SARA '2000, Horseshoe Bay, Texas, USA, July 26-29 2000
EditorsB. Choueiry, T. Walsh
StatePublished - 2000

Publication series

NameLecture Notes in Artificial Intelligence 1864

Cite this