Book contents
12 - State Transformation
from Part 3 - Practice
Published online by Cambridge University Press: 05 June 2012
Summary
- Type
- Chapter
- Information
- Practical Formal Software EngineeringWanting the Software You Get, pp. 206 - 220Publisher: Cambridge University PressPrint publication year: 2009