Publication:3779730
From MaRDI portal
zbMath0638.68017MaRDI QIDQ3779730
Publication date: 1986
68Q60: Specification and verification (program logics, model checking, etc.)
zbMath0638.68017MaRDI QIDQ3779730
Publication date: 1986
68Q60: Specification and verification (program logics, model checking, etc.)