Magic in Science
Article in Theoretical Computer Science (April 2012)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Enterprise Software Architecture and Design
Monograph (January 2012)
A Logical Framework to Prove Inheritance Properties for Concurrent Objects
Conference proceeding (January 2006)