The PROSPER Toolkit [chapter]

Louise A. Dennis, Graham Collins, Michael Norrish, Richard Boulton, Konrad Slind, Graham Robinson, Mike Gordon, Tom Melham
2000 Lecture Notes in Computer Science  
The PROSPER (Proof and Specification Assisted Design Environments) project
doi:10.1007/3-540-46419-0_7 fatcat:6nfozuxleffdjmculek466p2du