2020
- coll_IFIP
- 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings
- Accès au texte intégral et bibtex
-
2019
- coll_IFIP
- 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
- Accès au bibtex
-
2018
- coll_IFIP
- 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
- Accès au bibtex
-
2017
- coll_IFIP
- 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
- Accès au bibtex
-
2016
- coll_IFIP
- 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016
- Accès au bibtex
-
2014
- coll_IFIP
- 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014
- Accès au bibtex
-
2013
- coll_IFIP
- 21st International Workshop,WADT 2012, Salamanca, Spain, June 7-10, 2012
- Accès au bibtex
-
2012
- coll_IFIP
- 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
- Accès au bibtex
-