Theoretical Computer Science - International Joint Conference on Theory and Practice of Software Development, P
Algebraic specification
Algebraic Specifications in Software Engineering
Algebraic Specifications in Software Engineering
Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
Programming from specifications
Programming from specifications
Fundamentals of software engineering
Fundamentals of software engineering
Handbook of logic in computer science (vol. 2)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software Engineering
Reengineering Legacy Systems to Meet Quality Requirements: An Experience Report
ICSM '94 Proceedings of the International Conference on Software Maintenance
The Impact Analysis Task in Software Maintenance: A Model and a Case Study
ICSM '94 Proceedings of the International Conference on Software Maintenance
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Term Rewriting in Contemporary Resolution Theorem Proving (Abstract)
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Unravelings and Ultra-properties
ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Conditional Term Rewriting and First-Order Theorem Proving
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Termination Of Term Rewriting By Semantic Labelling
Fundamenta Informaticae
| Hi-index | 0.00 |