Publication:4417967
From MaRDI portal
zbMath1031.68550MaRDI QIDQ4417967
Jeff Kramer, J. Magee, Sebastian Uchitel, Robert Chatley
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190597.htm
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items