On institutions for modular coalgebraic specifications
Theoretical Computer Science
On implementing behavioral rewriting
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Observational proofs by rewriting
Theoretical Computer Science
Hierarchical Heterogeneous Specifications
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
On Oracles for Interpreting Test Results against Algebraic Specifications
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Testing from Structured Algebraic Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Higher-Order Simulation Relation for System F
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Finitary Observations in Regular Algebras
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Simply Observable Behavioral Specification
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Closure properties for the class of behavioral models
Theoretical Computer Science
Observational Refinement Process
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying Design with Proof Scores
Verified Software: Theories, Tools, Experiments
Axiomatic criteria for quotients and subobjects for higher-order data types
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Behavioural constructor implementation for regular algebras
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Testing data types implementations from algebraic specifications
Formal methods and testing
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Combining data structures with nonstably infinite theories using many-sorted logic
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Studia Logica
Hi-index | 0.00 |