Reasoning on requirement specifications: a deductive approach

Kacem Zeroual. Reasoning on requirement specifications: a deductive approach. In Proceedings of the 13th Annual International Computer Software and Applications Conference, COMPSAC 1989, Orlando, FL, USA, 20-22 September, 1989. pages 650-657, IEEE, 1989. [doi]

Authors

Kacem Zeroual

This author has not been identified. Look up 'Kacem Zeroual' in Google