An approach to integrating semi-formal and formal notations in software specification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sergiu Dascalu, Peter Hitchcock. An approach to integrating semi-formal and formal notations in software specification. In Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain. pages 1014-1020, ACM, 2002. [doi]

This author has not been identified. Look up 'Sergiu Dascalu' in GoogleThis author has not been identified. Look up 'Peter Hitchcock' in Google

runs on WebDSL