jETI: A tool for remote tool integration (0)

by T Margaria, R Nagel, B Steffen
Venue:In Tools and Algorithms for the Construction and Analysis of Systems