Jump to Content

Localization and Register Sharing for Predicate Abstraction

Himanshu Jain
Aarti Gupta
Malay K. Ganai
TACAS (2005), pp. 397-412

Abstract

Research Areas