Publication:4494260
From MaRDI portal
zbMath0963.68135MaRDI QIDQ4494260
Publication date: 4 March 2001
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
zbMath0963.68135MaRDI QIDQ4494260
Publication date: 4 March 2001
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items