Reasoning on requirement specifications: a deductive approach.

Kacem Zeroual

Browse the full COMPSAC paper archive.