60289

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings

Switzerland Springer

2018

1056

9783319898841

انگليسي

Programming Languages , System , Relational Reasoning , Behavioural Equivalence