Publications

Book

Publications related to static analysis, abstraction, and modularity in model checking
(Not updated and not exhaustive)


Surveys


Journals