Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
semantic [2011/10/29 20:18] vkuncak |
semantic [2012/12/20 14:14] vkuncak |
||
|---|---|---|---|
| Line 58: | Line 58: | ||
| * the seminar at MIT in 2006 | * the seminar at MIT in 2006 | ||
| * {{contractlanguage.pdf|Model Checking Contracts}} | * {{contractlanguage.pdf|Model Checking Contracts}} | ||
| + | * {{gupea_2077_23468_1.pdf|Encoding the Contract Language CL Into Grammatical Framework}} | ||
| + | * [[http://www-verimag.imag.fr/~potet/|Marie-Laure POTET]] | ||
| ===== Textual Inference ===== | ===== Textual Inference ===== | ||