Specification and Verification of
This page contains links to various systems discussed at the SAVCBS workshop and links to other pages with similar links.
The Java Modeling Language (JML)
web site has an extensive
page of links to similar systems
, a specification language for C#.
Gary T. Leavens's page of links to various topics in software engineering.
Gary T. Leavens
$Date: 2004/11/09 16:36:03 $