European Symposium on Programming (ESOP), European Joint Conferences on Theory and Practice of Software (ETAPS), March-April

A semantic framework for designer transactions

S. Jagannathan, J. Vitek, A. Welc, A. Hosking

Read Research Paper