Publication:4372472
From MaRDI portal
zbMath0900.68308MaRDI QIDQ4372472
Publication date: 12 December 1997
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science