Publications

Export 1 results:
Filters: Keyword is Theory  [Clear All Filters]
2013
Scholliers, C., À°ric. Tanter, and W. De Meuter, "Computational contracts", Science of Computer Programming, pp. -, 2013.