TY  - THES
DP  - http://www.theses.fr/2014EPXX0042
TI  - Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming
AU  - Pino Duque, Luis Fernando
A3  - Palamidessi, Catuscia
PY  - 2014
SP  - 1 vol. (151 p.)
N1  - Thèse de doctorat Informatique Palaiseau, Ecole polytechnique 2014
N1  - 2014EPXX0042
UR  - http://www.theses.fr/2014EPXX0042/document
ER  -