Object type graphs

Authors:
Cong-Cong Xing;Boumediene Belkhouche
Affiliations:
-;-
Venue:
Object type graphs
Year:
2001

Citing 0
Cited 2

Enhancing program verifications by restricting object types

Proceedings of the 2006 ACM symposium on Applied computing
The movable point problem and its resolution in object type graphs

Proceedings of the 43rd annual Southeast regional conference - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract