Publication:4372472

zbMath0900.68308MaRDI QIDQ4372472

Michael Siegel

Publication date: 12 December 1997

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68-02: Research exposition (monographs, survey articles) pertaining to computer science