Publication:4551168

zbMath0991.68642MaRDI QIDQ4551168

Hüsnü Yenigün, Vladimir Levin

Publication date: 4 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020378

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

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