The PROSPER toolkit

Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham. The PROSPER toolkit. STTT, 4(2):189-210, 2003. [doi]

Abstract

Abstract is missing.