System support for modular order-sorted horn clause specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |