Average rating
Cast your vote
You can rate an item by clicking the amount of stars they wish to award to this item.
When enough users have cast their vote on this item, the average rating will also be shown.
Star rating
Your vote was cast
Thank you for your feedback
Thank you for your feedback
Metadata
Show full item recordAbstract
The authors propose a single refinement method for B, inspired directly by Gardiner and Morgan’s longstanding single complete rule for data refinement, and rendered practical by application of the current first author’s recent first-order characterisation of refinement between monotonic computationsCitation
Dunne, S. E. and Conroy, S. (2009) 'A practical single refinement method for B', First international conference, ABZ, London, UK, September 16-18, in Börger, E. et al. (eds) Abstract state machines, B and Z, Lecture notes in computer science. Heidelberg: Springer Berlin, pp.195-208.Publisher
Springer BerlinDOI
10.1007/978-3-540-87603-8_16ae974a485f413a2113503eed53cd6c53
10.1007/978-3-540-87603-8_16
Scopus Count
Collections