| Period | 8 Jul 2013 → 12 Jul 2013 |
|---|---|
| Event type | Conference |
| Location | Bath, United KingdomShow on map |
Documents & Links
Related content
-
Research Outputs
-
ML4PG in computer algebra verification
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Verifying a plaftorm for digital imaging: a multi-tool strategy
Research output: Contribution to conference › Paper
-
Verifying a plaftorm for digital imaging: a multi-tool strategy
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
ML4PG in computer algebra verification
Research output: Contribution to conference › Other