Rodin User Manual: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>WikiSysop
No edit summary
imported>WikiSysop
No edit summary
Line 1: Line 1:
User manual in PDF format:
User manual  
[http://deploy-eprints.ecs.soton.ac.uk/11/1/manual-2.3.pdf]
[http://deploy-eprints.ecs.soton.ac.uk/11/1/manual-2.3.pdf in PDF format]

Revision as of 12:28, 12 June 2008

User manual in PDF format