Web-Based Support for Cooperative Software Engineering
Annals of Software Engineering
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
A logic programming approach to the verification of functional-logic programs
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Closure properties for the class of behavioral models
Theoretical Computer Science
Expander2: Program Verification Between Interaction and Automation
Electronic Notes in Theoretical Computer Science (ENTCS)
Observational Refinement Process
Electronic Notes in Theoretical Computer Science (ENTCS)
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
From grammars and automata to algebras and coalgebras
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Formal Methods in Software and Systems Modeling
Hi-index | 5.23 |