The following pages link to Hets (Q19080):
Displaying 13 items.
- Bootstrapping Types and Cotypes in HasCASL (Q3612506) (← links)
- Bootstrapping Inductive and Coinductive Types in HasCASL (Q3623012) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- Project Abstract: Logic Atlas and Integrator (LATIN) (Q5200129) (← links)
- (Q5219925) (← links)
- An Institution for Object-Z with Inheritance and Polymorphism (Q5256346) (← links)
- Institutions for OCL-Like Expression Languages (Q5256349) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- Fundamental Approaches to Software Engineering (Q5316440) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713506) (← links)