Abstraction Barriers in Equational Proof
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Observational logic, constructor-based logic, and their duality
Theoretical Computer Science - Foundations of software science and computation structures
Closure properties for the class of behavioral models
Theoretical Computer Science
Structured formal development with quotient types in Isabelle/HOL
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Behavioral extensions of institutions
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
| Hi-index | 0.00 |