Release Notes

Release Notes (to obtain Specware, see the Ordering page)

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