Hierarchical Verification Using Verification Diagrams.

Anca Browne Zohar Manna Henny Sipma Hierarchical Verification Using Verification Diagrams. 276-286 1996 conf/asian/1996 ASIAN db/conf/asian/asian96.html#BrowneMS96