60933

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019, Proceedings vol1

Switzerland Springer

2019

820

9783030171841

انگليسي

Time Credits , Marrying Time , Proof Automation