Publication:4471717
From MaRDI portal
zbMath1043.68571MaRDI QIDQ4471717
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2267/22670128.htm
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
Related Items
Uses Software