Remarks on remarks on many-sorted equational logic
ACM SIGPLAN Notices
Parameterized programming in OBJ2
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Journal of the ACM (JACM)
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Software process a` la algebra: OBJ for OBJ
ICSE '90 Proceedings of the 12th international conference on Software engineering
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Using Term Rewriting to Verify Software
IEEE Transactions on Software Engineering
Relating CASL with other specification languages: the institution level
Theoretical Computer Science
Translationg OBJ3 into CASL: The Institution Level
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
On the specification and verification of model transformations
Semantics and algebraic specification
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Narrowing, abstraction and constraints for proving properties of reduction relations
Rewriting Computation and Proof
| Hi-index | 0.00 |