Publication:5465010
From MaRDI portal
zbMath1077.68053MaRDI QIDQ5465010
Publication date: 19 August 2005
Full work available at URL: http://ces.univ-karlsruhe.de/Publications/cgi-bin/jahr_logo.cgi
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science