Pages that link to "Item:Q5900832"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5900832):
Displaying 9 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- The coalgebraic class specification language CCSL (Q2709810) (← links)
- (Q2761706) (← links)
- \textsc{CoCasl} at work -- modelling process algebra (Q2843729) (← links)
- Expander2: program verification between interaction and automation (Q2873787) (← links)
- (Q3839054) (← links)
- (Q4499311) (← links)