IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Miroslav Svéda, Franz Pichler, Charles Rattray. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 382-382, IEEE Computer Society, 2000. [doi]

This author has not been identified. Look up 'Miroslav Svéda' in GoogleThis author has not been identified. Look up 'Franz Pichler' in GoogleThis author has not been identified. Look up 'Charles Rattray' in Google

runs on WebDSL