Efficient Tight Field Bounds Computation Based on Shape Predicates
| Title | Efficient Tight Field Bounds Computation Based on Shape Predicates |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Ponzio, P, Rosner, N, Aguirre, N, Frias, MF |
| Conference Name | FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. |
| URL | http://dx.doi.org/10.1007/978-3-319-06410-9_36 |
| DOI | 10.1007/978-3-319-06410-9_36 |
PDF (Full text):
Work Package:
WP5
