The following pages link to Oscar Nierstrasz (Q1170192):
Displaying 13 items.
- A combinatorial application of matrix Riccati equations and their q- analogue (Q1170193) (← links)
- (Q1770364) (redirect page) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- Classboxes: controlling visibility of class extensions (Q2485091) (← links)
- PICCOLA -- a small composition language (Q2906954) (← links)
- (Q3046799) (← links)
- (Q4251095) (← links)
- (Q4549755) (← links)
- (Q4550172) (← links)
- (Q4621132) (← links)
- Formal Concept Analysis (Q5710402) (← links)
- Formal Methods for Components and Objects (Q5897127) (← links)
- Automated Generation of Code Contracts - Generative AI to the Rescue? (Q6706133) (← links)