System support for modular order-sorted horn clause specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Algebraic methods for specification and formal development of programs
ACM Computing Surveys (CSUR)
CASL: the common algebraic specification language
Theoretical Computer Science
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A theory of mixin modules: algebraic laws and reduction semantics
Mathematical Structures in Computer Science
Change management for heterogeneous development graphs
Verification, induction termination analysis
Change management for heterogeneous development graphs
Verification, induction termination analysis
| Hi-index | 0.00 |