Publication:4184287
From MaRDI portal
zbMath0399.68021MaRDI QIDQ4184287
Publication date: 1979
Full work available at URL: https://eudml.org/doc/27633
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work