On institutions for modular coalgebraic specifications
Theoretical Computer Science
AMAST '98 Proceedings of the 7th 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
On the Duality between Observability and Reachability
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Unit Testing for C88 ASL Architectural Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Global Development via Local Observational Construction Steps
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Verifying Behavioural Specifications in CafeOBJ Environment
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Formal design and verification of operational transformation algorithms for copies convergence
Theoretical Computer Science - Algebraic methodology and software technology
Closure properties for the class of behavioral models
Theoretical Computer Science
Observational interpretation of casl specifications
Mathematical Structures in Computer Science
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
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
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Behavioural semantics of algebraic specifications in arbitrary logical systems
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Externalized and internalized notions of behavioral refinement
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Testing from algebraic specifications: test data set selection by unfolding axioms
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Hi-index | 0.00 |