Formal specification of dynamic constraints with the B method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An analysis of structural validity in entity-relationship modeling
Data & Knowledge Engineering
Hi-index | 0.00 |