Specware are accessible via an external site. Please use the link provided for access.

http://ansellpro.com/specware/