VDM User Guide
User Manual:
Open the PDF directly: View PDF
Page Count: 53
- 0. Document Control
- 1. Introduction
- 2. Using VDMJ
- 3. VDMJUnit Testing
- 4. Combinatorial Testing
- 5. Annotations
- 6. Internationalization (I18N)
- 7. The vdmj.properties File
- 8. Appendix A: The shmem Example
- 9. Appendix B: Supported Character Sets