Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
“...This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France...”
Cover Image
Read Now

2
Published 2020
Springer International Publishing
“..., France, however due to COVID-19 pandemic the conference was held in online format. The 18 presented short...”
Cover Image
Read Now

4
Published 2013
Springer Berlin Heidelberg
“... 2013, held in Montpellier, France, in July 2013. The 25 full papers and 11 poster papers presented...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
“... Checking Software, SPIN 2009, held in Grenoble, France, in June 2009. The 15 revised full papers presented...”
Cover Image
Read Now

6
Published 2014
Springer International Publishing
Cover Image
Read Now

7
Published 2013
Springer Berlin Heidelberg
“... Cryptography, PQCrypto 2013, held in Limoges, France, in June 2013. The 17 revised full papers presented were...”
Cover Image
Read Now

8
Published 2013
Springer Berlin Heidelberg
“... Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume...”
Cover Image
Read Now

11
Published 2013
Springer Berlin Heidelberg
“... Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together...”
Cover Image
Read Now

12
Published 2012
Springer Berlin Heidelberg
“... Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together...”
Cover Image
Read Now

14
Published 2009
Springer Berlin Heidelberg
“..., SDM 2009, held in Lyon, France, on August 28, 2009, in conjunction with VLDB 2009. The 10 revised full...”
Cover Image
Read Now

17
Published 2016
Springer International Publishing
“... on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016...”
Cover Image
Read Now

18
Published 2018
Springer International Publishing
“... and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018. The 41 full and 9 short...”