|
DSpace at RU >
Browsing by Author Hurlin, Clement
Showing results 1 to 4 of 4
| Full Text | Issue Date | Title | Author(s) |  | 2008 | Reasoning about Java's Reentrant Locks | Haack, Christian; Huisman, Marieke; Hurlin, Clement |
| | 2008 | Reasoning about Java's Reentrant Locks | Haack, C.; Huisman, Marieke; Hurlin, Clement; Ramalingam, G. |
| | 2008 | Separation Logic Contracts for a Java-like Language with Fork/Join | Haack, C.; Hurlin, Clement; Meseguer, J.; Rosu, G. |
| | 2008 | Separation Logic Contracts for a Java-like Language with Fork/Join | Haack, C.; Hurlin, Clement |
Showing results 1 to 4 of 4
|
