Publication:4870822
From MaRDI portal
zbMath0843.68069MaRDI QIDQ4870822
Publication date: 26 March 1996
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
zbMath0843.68069MaRDI QIDQ4870822
Publication date: 26 March 1996
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items