Appendix C - Notational Convention
Published online by Cambridge University Press: 03 May 2010
Summary

- Type
- Chapter
- Information
- Data RefinementModel-Oriented Proof Methods and their Comparison, pp. 394 - 401Publisher: Cambridge University PressPrint publication year: 1998