Reflections on, and predictions for, support systems for the development of programs.

Jones, Cliff B (2008) Reflections on, and predictions for, support systems for the development of programs. In: ASE-08.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	Tool developments > Provers Methodology
ID Code:	178
Deposited By:	Miss Jodi Hossbach
Deposited On:	12 Jan 2010 10:11
Last Modified:	12 Jan 2010 10:11

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.