A Formal Approach to Requirement Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Divya K. Nair, Stéphane S. Somé. A Formal Approach to Requirement Verification. In Walter Dosch, William Perrizo, editors, 15th International Conference on Software Engineering and Data Engineering (SEDE-2006), July 6-8, 2006, Omni Los Angeles Hotel at California Plaza, Los Angeles, California, USA, Proceedings. pages 148-153, ISCA, 2006.

This author has not been identified. Look up 'Divya K. Nair' in GoogleThis author has not been identified. Look up 'Stéphane S. Somé' in Google

runs on WebDSL