Publication:4037381
From MaRDI portal
zbMath0765.68128MaRDI QIDQ4037381
Ryszard Janicki, Maciej Koutny
Publication date: 18 May 1993
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items