Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
semantic [2012/12/20 14:00] vkuncak |
semantic [2012/12/20 14:14] vkuncak |
||
|---|---|---|---|
| Line 59: | Line 59: | ||
| * {{contractlanguage.pdf|Model Checking Contracts}} | * {{contractlanguage.pdf|Model Checking Contracts}} | ||
| * {{gupea_2077_23468_1.pdf|Encoding the Contract Language CL Into Grammatical Framework}} | * {{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 ===== | ||