A Circus Semantics for Ravenscar Protected Objects - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Diyaa-Addein Atiya, Steve King, Jim Woodcock. A Circus Semantics for Ravenscar Protected Objects. In Keijiro Araki, Stefania Gnesi, Dino Mandrioli, editors, FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Volume 2805 of Lecture Notes in Computer Science, pages 617-635, Springer, 2003. [doi]

This author has not been identified. Look up 'Diyaa-Addein Atiya' in GoogleThis author has not been identified. Look up 'Steve King' in GoogleThis author has not been identified. Look up 'Jim Woodcock' in Google

runs on WebDSL