Pages that link to "Item:Q485826"
From MaRDI portal
The following pages link to Special issue on symbolic computation in software science (Q485826):
Displaying 6 items.
- Special issue on program verification, automated debugging and symbolic computation (Q507345) (← links)
- Foreword: Symbolic computation in software science (Q1640635) (← links)
- Special issue on the foundations of software science and computation structures (Q2151537) (← links)
- Symbolic computation in applied computational mechanics (Q2437299) (← links)
- (Q4267197) (← links)
- Foreword (Q5970695) (← links)