Publication:4412491
From MaRDI portal
zbMath1015.68687MaRDI QIDQ4412491
Jifeng He, Shengchao Qin, Zong-Yan Qiu, Naixiao Zhang
Publication date: 15 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2495/24950168.htm
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software