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

Volume 9, Number 1, February 2007

Special Section on Advances in Automated Verification of Critical Systems

Volume 9, Number 2, March 2007

Special Section on Fundamental Approaches to Software Engineering

Volume 9, Numbers 3-4, June 2007

Volume 9, Numbers 5-6, October 2007