Author

CHAO WANG

Catalogue records by CHAO WANG in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING CHAO WANG 2006