Edmunds, Andrew and Lovell, Chris and Silva, Renato and Maamria, Issam and Butler, Michael (2012) Tooling: Code Generation Update. In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau. (Unpublished)
Full text not available from this repository.
Official URL: http://eprints.soton.ac.uk/338004/
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Tool developments > Code generation Event-B Tool developments |
| ID Code: | 396 |
| Deposited By: | Dr Andrew Edmunds |
| Deposited On: | 08 May 2012 09:25 |
| Last Modified: | 08 May 2012 09:25 |
Repository Staff Only: item control page
