A Circus Semantics for Ravenscar Protected Objects.

Diyaa-Addein Atiya, Steve King, Jim Woodcock

Browse the full FM paper archive.