Proof and Specification Assisted Design Environments ESPRIT Framework IV LTR 26241 Presentations
	Presentation on PROSPER Some PROSPER application experiments, Oct 2000 (214K PDF). Tutorial on the PROSPER Toolkit, May 2001 (231K PDF). A presentation on PROSPER Year 1 results, July 1999 (327K PDF).