B.: jeti: A tool for remote tool integration (0)

by T Margaria, R Nagel, Steffen
Venue:In: Proc. of TACAS. (2005) 557–562