scientific article; zbMATH DE number 550330
From MaRDI portal
Publication:4287720
Recommendations
- scientific article; zbMATH DE number 1203208
- A means for the structural synthesis of programs
- Synthesis of programs on data structures
- scientific article; zbMATH DE number 3934387
- scientific article; zbMATH DE number 1973864
- Publication:5751976
- scientific article; zbMATH DE number 1098496
- Preconditions for structural synthesis of programs
- scientific article; zbMATH DE number 1830933
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4287720)