A combined method for selection of modules in time-optimal program design
From MaRDI portal
Publication:1132546
zbMath0419.68011MaRDI QIDQ1132546
Publication date: 1978
Published in: Programming and Computer Software (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items