Hyu Chan Park;Tag Gon Kim
-;-
A relational database model for representation of formal specifications
Proceedings of the 44th annual Southeast regional conference