Component-Based Abstraction and Refinement.

Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song

Browse the full ICSR paper archive.