---

To obtain Specware, see https://github.com/KestrelInstitute/Specware

---

Release Notes

• Specware 4.2.14 (developer version)
• Specware 4.2.13 (current release)
• Specware 4.2.10
• Specware 4.2.7
• Specware 4.2.2
• Specware 4.2
• Specware 4.1.3
• Specware 4.1
• Specware 4.0.5
• Specware 4.0.2
• Specware 4.0

---