60367

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

Switzerland Springer

2019

820

9783030171841

انگليسي

Safe Deferred , Semi-automated Reasoning , Composing Bidirectional