International Journal on Software Tools for Technology Transfer (STTT), Volume 12

Volume 12, Number 1, February 2010

Volume 12, Number 2, May 2010

Special Section on SPIN 07

Volume 12, Numbers 3-4, July 2010

Special Section on GraBaTs 08

Volume 12, Number 5, September 2010

Volume 12, Number 6, November 2010

Special Section on VSTTE 2008