From Verification to Specification Inference.

Wei-Ngan Chin, Cristina David

Browse the full TASE paper archive.