Publication:3314966
From MaRDI portal
zbMath0532.68024MaRDI QIDQ3314966
Publication date: 1983
68Q60: Specification and verification (program logics, model checking, etc.)
zbMath0532.68024MaRDI QIDQ3314966
Publication date: 1983
68Q60: Specification and verification (program logics, model checking, etc.)