Christian Doppler Laboratory for
Automated Software Engineering



Available on request from author.