Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.3 (D10)

First Page		Document Content
Date: 2005-08-31 15:06:00 Software Java platform Proof assistants Debuggers Eclipse IBM software KeY Wolfram Mathematica Rodin tool		Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.3 (D10) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 1,12 MB Share Document on Facebook