Publication:3664407
From MaRDI portal
zbMath0516.68015MaRDI QIDQ3664407
Publication date: 1982
algorithm; effectiveness; generalization; derivation; program; inductive proof; completeness of formal system
68Q60: Specification and verification (program logics, model checking, etc.)
68W99: Algorithms in computer science
Related Items