A Circus Semantics for Ravenscar Protected Objects

Diyaa-Addein Atiya, Steve King, Jim Woodcock

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	Undefined/Unknown
Pages	617-635
Publication status	Published - 2003

Access to Document

http://springerlink.metapress.com/openurl.asp?genre=articleissn=0302-9743volume=2805spage=617

Cite this