GaM@ETAPS

Keyphrases

Publications

2017

volume 263, 2017

Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. GaM@ETAPS 263 (2017)

2016

volume 231, 2016

Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016. GaM@ETAPS 231 (2016)

volume 181, 2015

Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. GaM@ETAPS 181 (2015)