Publication:4037092
From MaRDI portal
zbMath0786.68056MaRDI QIDQ4037092
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Publication date: 18 May 1993
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items