Publication:4762658
From MaRDI portal
zbMath0968.68096MaRDI QIDQ4762658
Publication date: 22 February 2001
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
zbMath0968.68096MaRDI QIDQ4762658
Publication date: 22 February 2001
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items