Reasoning about Interference in an Object-Based Design Method.

Cliff B. Jones

Browse the full FM paper archive.