Proof Slicing with Application to Model Checking Web Services.

Hai Huang, Wei-Tek Tsai, Raymond A. Paul

Browse the full ISORC paper archive.