Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
Browse the full CONCUR paper archive.