Analysis of the correctness of a parallel program for set partitioning
From MaRDI portal
Publication:1276536
zbMath0909.68117MaRDI QIDQ1276536
Publication date: 31 January 1999
Published in: Programming and Computer Software (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)