A semantic framework for designer transactions

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

Publication date: March 2, 2004

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