next up previous
Next: 3.1 Objects in Isolation Up: An Approach to an Previous: 2.2 Formalization of various

3 Our Toolkit



 

Randolph Johnson and Hiam Kilov
Sept. 2, 1997