Publication:4779117
From MaRDI portal
zbMath1005.68528MaRDI QIDQ4779117
Martin Steffen, Natalia Sidorova
Publication date: 24 November 2002
68Q60: Specification and verification (program logics, model checking, etc.)
zbMath1005.68528MaRDI QIDQ4779117
Martin Steffen, Natalia Sidorova
Publication date: 24 November 2002
68Q60: Specification and verification (program logics, model checking, etc.)