On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Size-change termination and transition invariants
SAS'10 Proceedings of the 17th international conference on Static analysis
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Hi-index | 0.00 |