Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
Browse the full ICECCS paper archive.