Publication:3916004
From MaRDI portal
zbMath0464.68020MaRDI QIDQ3916004
Publication date: 1980
68Q60: Specification and verification (program logics, model checking, etc.)
zbMath0464.68020MaRDI QIDQ3916004
Publication date: 1980
68Q60: Specification and verification (program logics, model checking, etc.)