Specware Logo


Home | News | Documentation | Support | Ordering Info

Specware 4.2.2


Release Notes

Miscellaneous bug fixes, particularly for prover interfaces to SNARK and Isabelle/HOL.


webmaster@specware.org