An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Inheritance of rewrite rule structures applied to symbolic computation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Abstract data type support in Prolog and its relation to parallelism
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Light analysis of complex systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Are constructive formal specifications less abstract?
ACM SIGPLAN Notices
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Reconciling Axiomatic and Model-Based Specifications Using the B Method
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Towards a semantic basis for Rosetta
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Inconsistency Management and View Updates
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |