Publication:3731018
From MaRDI portal
zbMath0597.68023MaRDI QIDQ3731018
Publication date: 1981
68Q60: Specification and verification (program logics, model checking, etc.)
zbMath0597.68023MaRDI QIDQ3731018
Publication date: 1981
68Q60: Specification and verification (program logics, model checking, etc.)