The Community for Technology Leaders
Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176) (1998)
Santa Barbara, California
Aug. 3, 1998 to Aug. 7, 1998
ISBN: 0-8186-8482-8
pp: 112
INDEX TERMS
CITATION

R. Wuyts, "Declarative Reasoning about the Structure of Object-Oriented Systems," Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)(TOOLS), Beijing, China, 1998, pp. 112.
doi:10.1109/TOOLS.1998.711007
104 ms
(Ver 3.3 (11022016))