... | @@ -19,7 +19,7 @@ This is a work in progress with the limitations given below. |
... | @@ -19,7 +19,7 @@ This is a work in progress with the limitations given below. |
|
|
|
|
|
# Publications
|
|
# Publications
|
|
|
|
|
|
* The research report is available at https://hal.archives-ouvertes.fr/hal-01248121 .
|
|
* The research report is available at https://hal.archives-ouvertes.fr/hal-01248121 (dec. 2015).
|
|
* An [article](http://arxiv.org/abs/1607.02226) was presented at the _4th International Workshop on Verification and Program Transformation_ (available in [Electronic Proceedings in Theoretical Computer Science](http://eptcs.web.cse.unsw.edu.au/content.cgi?VPT2016) ).
|
|
* An [article](http://arxiv.org/abs/1607.02226) was presented at the _4th International Workshop on Verification and Program Transformation_ (available in [Electronic Proceedings in Theoretical Computer Science](http://eptcs.web.cse.unsw.edu.au/content.cgi?VPT2016) ).
|
|
|
|
|
|
# Limitations
|
|
# Limitations
|
... | | ... | |