Publication:4375195
From MaRDI portal
zbMath0887.68067MaRDI QIDQ4375195
Publication date: 28 January 1998
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Uses Software