Observational Refinement Process

Alexandre Madeira. Observational Refinement Process. Electronic Notes in Theoretical Computer Science, 214:103-129, 2008. [doi]

Authors

Alexandre Madeira

This author has not been identified. Look up 'Alexandre Madeira' in Google