An overview of the programatica toolset (2004)

by Thomas Hallgren, James Hook, Mark P. Jones, Richard B. Kieburtz
Venue:High Confidence Software and Systems Conference, HCSS04, http://www.cse.ogi.edu/~hallgren/ Programatica/HCSS04