jETI: A Tool for Remote Tool Integration.

Tiziana Margaria, Ralf Nagel, Bernhard Steffen

Browse the full TACAS paper archive.