A field study of the software design process for large systems
Communications of the ACM
Domain modeling for software engineering
ICSE '91 Proceedings of the 13th international conference on Software engineering
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities
Proceedings of the 5th Conference on Automated Deduction
Hi-index | 0.00 |