Extending Development Graphs with Hiding
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
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
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Axiomatic criteria for quotients and subobjects for higher-order data types
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Specification-based testing for COCASL'S modal specifications
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Test selection criteria for quantifier-free first-order specifications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Proof-Guided Test Selection from First-Order Specifications with Equality
Journal of Automated Reasoning
Hi-index | 0.00 |