Publication:4373485
From MaRDI portal
zbMath0886.68092MaRDI QIDQ4373485
Louise E. Moser, P. Michael Melliar-Smith
Publication date: 21 January 1998
68Q60: Specification and verification (program logics, model checking, etc.)
zbMath0886.68092MaRDI QIDQ4373485
Louise E. Moser, P. Michael Melliar-Smith
Publication date: 21 January 1998
68Q60: Specification and verification (program logics, model checking, etc.)