Publication:2729088
From MaRDI portal
zbMath0971.68576MaRDI QIDQ2729088
Publication date: 4 November 2001
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items