You seem to be attempting to access an item that has been removed from the repository.
There is an alternative version of the item you are trying to access:
Satpathy, Manoranjan, Leuschel, Michael and Butler, Michael
,
Gurevich, Yuri, Petrenko, Alexander K. and Kossatchev, Alexander
(eds.)
(2005)
ProTest: An Automatic Test Environment for B Specifications.
Electronic Notes in Theoretical Computer Science, 111, 113-136.
(doi:10.1016/j.entcs.2004.12.009).
Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2
This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.