Publication:4417923
From MaRDI portal
zbMath1031.68078MaRDI QIDQ4417923
Edmund M. Clarke, Olaf Stursberg, Zhi Han, Michael Theobald, Bruce H. Krogh, Ansgar Fehnker
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190192.htm
68Q60: Specification and verification (program logics, model checking, etc.)