142 resultados para e-reading systems
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP