Publication:2729079

zbMath0971.68616MaRDI QIDQ2729079

Dennis Dams, Dragan Bošnački, Leszek Holenderski, Natalia Sidorova

Publication date: 6 November 2001

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

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